☰

Mantis bug coloring for Bugzilla

Makes any Bugzilla-based bugtracker bearable to use

As of 2019-02-09. See the latest version.