Hi everyone,

1) How is the long-term release going, has any branch been produced, any patches imported?

If not, I guess a good idea would be to create the branch, and start importing improvement/patch commits into it from the main Gambit repo (and document them).

If not done already, who will create the branch, Marc (in the Gambit repo) or Matthias (supposedly somewhere else) now?

Let's do at least this particular step now and then figure next step :)

2) This commit https://github.com/gambit/gambit/commit/fc75d7363281a72a9b864f0d3d17889136a4... (fixing issue https://github.com/gambit/gambit/issues/189 ) will be very good to include.

Thanks