[Pkg-mozext-maintainers] Bug#866997: marked as done (mozilla-devscripts: should support WebExtensions)

[Debian Bug Tracking System]

Your message dated Tue, 05 May 2020 20:26:55 -0400
with message-id <4082407.oMkuguRQlX at t450>
and subject line mozilla-devscripts: should support WebExtensions
has caused the Debian Bug report #866997,
regarding mozilla-devscripts: should support WebExtensions
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner at bugs.debian.org
immediately.)


-- 
866997: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=866997
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
-------------- next part --------------
An embedded message was scrubbed...
From: Sean Whitton <spwhitton at spwhitton.name>
Subject: mozilla-devscripts: should support WebExtensions
Date: Mon, 3 Jul 2017 11:34:19 +0100
Size: 5745
URL: <http://alioth-lists.debian.net/pipermail/pkg-mozext-maintainers/attachments/20200506/e43ca92d/attachment.mht>
-------------- next part --------------
An embedded message was scrubbed...
From: John Scott <jscott at posteo.net>
Subject: mozilla-devscripts: should support WebExtensions
Date: Tue, 05 May 2020 20:26:55 -0400
Size: 3222
URL: <http://alioth-lists.debian.net/pipermail/pkg-mozext-maintainers/attachments/20200506/e43ca92d/attachment-0001.mht>