Re: jmol haspatch maintainer - please commit #56106

[Ryan Schmidt]

On Apr 3, 2018, at 11:40, Peter Brommer wrote:

> Does trac remain in use for “proper” bug reports?

Yes, Trac is still our bug tracker.