Re: Unable to close a bug in the tracker.

[Stefan Monnier]

>> My point was that it's *not* optimized for the minority "heavy
>> maintainer": it's just a point in time along the path from "mailing-list
>> only" to something more friendly to end-users (and other contributors).
> Unfortunately, given that somebody was paid to do the job and didn't
> finish it, moving on from here will probably require switching
> trackers.

If that's what it takes, we'll do that.


        Stefan