Dear developers, some weeks ago I added a pull request on GitHub to jackaudio/tools. (A small change on transport.c to implement the toggle command which toggles between top and run state). Is this the right way to submit patches or should I send a patch to this list? Holger