On 8/14/18 5:35 AM, Enrico Zini 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. The link to the source code points to the defunct https://anonscm.debian.org/cgit/debtags/debtagsd.git Cheers, Dan