Processing commands for control@bugs.debian.org: > severity 1089080 wishlist Bug #1089080 [efibootmgr] efibootmgr can't use under RT kernel Severity set to 'wishlist' from 'important' > End of message, stopping processing here. Please contact me if you need assistance. -- 1089080: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1089080 Debian Bug Tracking System Contact owner@bugs.debian.org with problems