On Fri, 2018-08-10 at 10:24 +0200, Michael Meskes wrote:

> I doubt it magically becomes a web extension just because we rename the
> package. I haven't checked this particular extension, but if it has not
> been redone as a web extension it cane be removed. If it has, though,
> it needs to be updated to the latest version.

It has been redone as a web extension without renaming to webext-*.

-- 
bye,
pabs

https://wiki.debian.org/PaulWise

Attachment: signature.asc
Description: This is a digitally signed message part

Reply via email to