Web lists-archives.com

Re: New layout of debtags.debian.org

On 14 August 2018 at 13:35, Enrico Zini <enrico@xxxxxxxxxxxxxx> wrote:
> Hello,
> I have ported debtags.debian.org to Bootstrap 4, it should now be
> easier for development, and work better on mobile devices.
> Let me know if you like it, or if I broke something.

"add tag role::program" button on the right (hints and checks) stopped
working, with "add_tag is not defined" in the console log.