Re: [gambit-list] Re --enable-auto-forcing: Scope, how/where implemented, how build (with) it properly?