On 2015-07-23 1:41 PM, Michael Petch wrote: > I then built it from HEAD and it worked.
Should have been: I then built it from HEAD and it FAILED when run. -- Michael Petch GNU Backgammon Maintainer / Developer OpenPGP FingerPrint=D81C 6A0D 987E 7DA5 3219 6715 466A 2ACE 5CAE 3304 _______________________________________________ Bug-gnubg mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-gnubg
