0658bc197af0584b774b9d4fb4dec9b9a24faed1	not-for-merge	branch 'stablepatches' of http://dynamo.iro.umontreal.ca/~chjaeger/localwork/gambit
