[debbugs-tracker] Processed: control message for bug #29134

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> tags 29134 fixed
Bug #29134 [guix-patches] [PATCH] bootloaders: uboot: Add .img and MLO files to 
binary outputs.
Added tag(s) fixed.
> close 29134
bug#29134: [PATCH] bootloaders: uboot: Add .img and MLO files to binary outputs.
bug closed, send any further explanations to
address@hidden and Mathieu Othacehe <address@hidden>

>
End of message, stopping processing here.

Please contact address@hidden if you need assistance.

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