[debbugs-tracker] Processed: Re: bug#19378: [PATCH 3/4] cat, chcon, chgrp, chmod, chown, cp, du, head: support wildcards on OS/2

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> forcemerge 19378 19377
bug#19378: [PATCH 3/4] cat, chcon, chgrp, chmod, chown, cp, du, head: support 
wildcards on OS/2
bug#19377: [PATCH] OS/2 patches
bug#19375: [PATCH 1/4] doc: add $(EXEEXT) suffix to the executables
Forcibly Merged 19375 19377 19378.

> stop
Stopping processing here.

Please contact address@hidden if you need assistance.

GNU bugs database, http://debbugs.gnu.org/