[gambit-list] How to contribute patches