[debbugs-tracker] Processed: Re: bug#19219: Package names with digits following dashes

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> tag 19219 patch
Bug #19219 [guix] Package names with digits following dashes
Added tag(s) patch.
> thanks
Stopping processing here.

Please contact address@hidden if you need assistance.

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