[debbugs-tracker] Processed: Re: bug#31380: grub fails to build on i686-linux

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> retitle 31380 grub fails to build on i686-linux
Bug #31380 [guix] [core-updates] grub fails to build on i686-linux
Changed bug title to 'grub fails to build on i686-linux' from '[core-updates] 
grub fails to build on i686-linux'
> severity 31380 serious
Bug #31380 [guix] grub fails to build on i686-linux
Severity set to 'serious' from 'normal'

> thanks
Stopping processing here.

Please contact address@hidden if you need assistance.

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