On Tue, Sep 25, 2018 at 11:12:45PM +0200, Moritz Mühlenhoff wrote: > On Sat, Sep 08, 2018 at 03:31:38PM +0800, Paul Wise wrote: > > On Tue, 21 Aug 2018 21:10:27 +0300 Adrian Bunk wrote: > > > > > Package: xul-ext-livehttpheaders > > > > > > XUL addons are no longer supported. > > > > The native Firefox developer tools are almost a replacement, > > so I think this package can just be removed from Debian. > > > > The only missing thing is the headers tab in the page info dialog > > but it is not possible to provide a WebExtension that does this. > > > > https://developer.mozilla.org/en-US/docs/Mozilla/Add-ons/WebExtensions/user_interface > > @David, agreed to remove from the archive?
No objections, so I've just filed a removal bug. Cheers, Moritz