[opensuse-factory] Re: after dup fro 12.2 to 12.3 grub menu still 12.2