Hello, sorry for the stupid question: what is the right place for potential bug fixes (patches) - in my case for #926: mantis (attachment, there it's placed currently) or this list? When placing a patch in mantis, should a note be sent to [ardour-dev]? Markus Schwarzenberg