On Sun, Sep 08, 2019 at 07:21:48PM +0000, Thiede, Christoph wrote:
> For follow-up: This should also resolve http://bugs.squeak.org/view.php?id=7873.
> 
> 
> Btw: Are we still using this bugtracker system seriously (with the
> latest time stamps in mind)? Is it worth reporting any bug there instead
> of mailing it to the list directly? :)

The bugs.squeak.org Mantis tracker does not get much use any more,
mainly because we do try to resolve things when possible directly
through inbox/trunk. But this does (too often) lead to good improvements
that rot in the inbox.

In my opinion, the Mantis tracker remains useful for:

1) Issues that require input or review from several people who may
not all be paying attention to the mailing list at the same time.

2) Issues that are being overlooked or ignored on the mailing list.

3) Historical record of old issues.

I think it is great that you linked back to Patrick's issue #7833
that he entered almost a year ago. And as soon as the fix that you
provided in Tools-ct.881.mcz is merged in trunk we should close
Mantis #7833.

:-)

Dave