mentioned in issue #1263 (closed)
added debian-bts label
removed debian-bts label
Is this still needed with the new theme that is friendly for mobile devices?
I believe that the extension is not needed given the mobile friendly theme. Closing, please reopen if needed.
closed