2016-06-28 0:38 GMT+08:00 Gorges, Matthias MGorges@cw.bc.ca:
Dear Marc, Thanks for your kind response.
I urge you to submit github issue reports whenever you encounter problems with the system so that they can be addressed promptly and other users can be aware of these issues, for example the issues you are having on Android.
Would you actually be interested in us filing issues against older versions of Gambit (as we don't run the current one)? I am aware that the core Gambit development team is very small, so I could understand that you might not want to maintain those versions.
There would certainly be a point with some rare "long term support" versions.
(A risk with contributing on the bleeding edge only is that one bug may have been fixed but another introduced.)