Your message dated Thu, 18 Dec 2014 07:24:47 -0800 with message-id and subject line Re: bug#19377: bug#19378: [PATCH 3/4] cat, chcon, chgrp, chmod, chown, cp, du, head: support wildcards on OS/2 has caused the debbugs.gnu.org bug report #19377, regarding [PATCH] OS/2 patches to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 19377: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=19377 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems