39a599d6571c9b2cadc405d234d39a1d9e5dee6a		branch 'master' of github.com:gambit/gambit
2e2a5ca210d647377b454e5d950a3fb66e5de6e9	not-for-merge	branch 'bbv' of github.com:gambit/gambit
9945235a82d97d2e481609a732014d53441d9d46	not-for-merge	branch 'cpu' of github.com:gambit/gambit
02d5e640e0d448f50f80f6d71840f6e55c3b9ebd	not-for-merge	branch 'smp' of github.com:gambit/gambit
