Markus Duft wrote: ... > btw, i realized you sent the mail to "coreutils@gnu.org"@gnu.org, a > typo? :) i'm sending to coreutils@gnu.org instead, but i'm not
Thanks. It was due to a bug in my snapshot-posting script. > subscribed, so no idea whether this mail gets through.