Miller Puckette wrote:
Hi all,
It's less clear what to do about bugs when I think I've fixed them, since a fair percentage of the time they cmoe back later in another form.
if they come back at a later time (after a few weeks, when the issue has already been closed), i think one would just open another issue.
i think it is not so likely, that the very same bug returns, but rather a problem that looks similar.
fgasdrm, IOhannes