Bug#814563: xul-ext-searchload-options abandoned upstream

2018-09-17 Thread Moritz Mühlenhoff
On Mon, Jul 23, 2018 at 06:18:28PM +0800, David Prévot wrote: > Hi Christoph, > > On Sat, May 14, 2016 at 01:46:51AM +0200, Christoph Anton Mitterer wrote: > > > I think this is any extremely helpful add-on, and just because there is > > (currently) no active upstream, doesn't mean it must necess

Bug#814563: xul-ext-searchload-options abandoned upstream

2018-07-23 Thread David Prévot
Hi Christoph, On Sat, May 14, 2016 at 01:46:51AM +0200, Christoph Anton Mitterer wrote: > I think this is any extremely helpful add-on, and just because there is > (currently) no active upstream, doesn't mean it must necessarily be > removed. […] > So pleas refrain from dropping it, unless ther

Bug#814563: xul-ext-searchload-options abandoned upstream

2018-07-23 Thread Christoph Anton Mitterer
Hey. Well, while I guess it's functionality will be missed, you're right that it probably makes no sense to keep it, now that Mozilla broke all XUL add-ons. Cheers, Chris.