Re: [opensuse-factory] grub bug #428127 - will it be fixed?