Comment # 18 on bug 957383 from boo35 boo35

(In reply to boo35 boo35 from comment #17)
> (In reply to Michael Chang from comment #16)
> > Meanwhile, the patch has been committed, so close the ticket as resolved
> > fixed. Thanks for your report and help.

Your repo @

http://download.opensuse.org/repositories/home:/michael-chang:/branches:/Base:/System/openSUSE_Tumbleweed/

has been emptied, forcing a downgrade to

    rpm -qa | grep -i grub2 | sort
        grub2-2.02~beta2-76.1.x86_64
        grub2-branding-upstream-2.02~beta2-76.1.x86_64
        grub2-i386-pc-2.02~beta2-76.1.x86_64
        grub2-x86_64-efi-2.02~beta2-76.1.x86_64
        grub2-x86_64-xen-2.02~beta2-76.1.x86_64

But there's no mention of the patch

    rpm -q --changelog $(rpm -qa | grep -i grub2) | grep 957383
        (empty)

Has this been released elsewhere?  Or are you rm'ing the feature?