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 there would be no way around > it in some point in the future. With the move to the new webext format, I guess it’s now time to get rid of xul-ext-searchload-options. I’d like to ask for it’s removal unless someone really wants to take it over. Regards David
