Processed: Re: Bug#988450: bootctl systemd-efi-options doesn't work

[Debian Bug Tracking System]

Processing control commands:

> forwarded -1 https://github.com/systemd/systemd/issues/19597
Bug #988450 [systemd] bootctl systemd-efi-options doesn't work
Set Bug forwarded-to-address to 'https://github.com/systemd/systemd/issues/19597'.
> fixed -1 249~rc1-1
Bug #988450 [systemd] bootctl systemd-efi-options doesn't work
Marked as fixed in versions systemd/249~rc1-1.

-- 
988450: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=988450
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems