On 06/23/2013 04:01 AM, Thomas Gries wrote:
Someone proposed to have a _distinct color for status "unmaintained"._
Status "unmaintained" is currently signalled with gray color, the same
as for status "unknown"
This makes sense to me. Go for it.
Matt Flaschen