On 03.01.19 23:35, Moritz Mühlenhoff wrote:
The package wasn't updated for a year, shall we remove it?
Probably, people can easily use the extension from Mozillas Addon Store. Cheers, Bastian -- Dr. Bastian Venthur http://venthur.de Debian Developer venthur at debian org
