mirror of
git://git.sv.gnu.org/coreutils.git
synced 2026-06-28 12:59:43 +02:00
10c48512f0
hard-coding something not quite equivalent. Reported by Paul Jarc.