On 12/07/2013 9:32 AM, Michael Petch wrote: > Would you be kind enough to send me your config.log for the 1.01.002 > release (Without your patch). I am just curious about something. You > can email it directly to [email protected] . Thanks!
Although I inquired about your config.log, that was more for informational purposes about what type of environment had this behaviour. Your patch looks fine, and has been committed to CVS, and attribution has been given to you in the credits. Thanks for your bug report and submission! -- 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
