On Thu, Jul 27, 2023 at 06:50:34PM +0200, Julian Andres Klode wrote: > Hello party people, > > grub 2.12~rc1-4~ubuntu1~ppa1 is now available in the Ubuntu > development PPA for testing, signed with the PPA signing > key. > > https://launchpad.net/~ubuntu-uefi-team/+archive/ubuntu/ppa/+packages
The final 4ubuntu1 upload has now been signed with production keys and copied into the mantic-proposed pocket. It may take a couple hours to show up on your mirror. This fixes the bug with grub-install not running amongst some other issues in the 4~ubuntu1~ppa1 PPA upload. -- debian developer - deb.li/jak | jak-linux.org - free software dev ubuntu core developer i speak de, en -- ubuntu-devel mailing list ubuntu-devel@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel