Geoff Levand Fri, 25 Dec 2020 17:39:17 -0800
Opened Bug#978103 to remove Petitboot package from Debian: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=978103
-Geoff