Re: [opensuse-factory] boot menu still gives 12.3 after upgrade to 13.1