From: Eric Mullins Date: Fri, 9 Oct 2009 06:10:18 +0000 (-0600) Subject: Merge branch 'master' of git://git.sv.gnu.org/xboard X-Git-Tag: v4.4.1.20091019~50 X-Git-Url: http://winboard.nl/cgi-bin?a=commitdiff_plain;h=17a9c76c2af477f9604e2fbdc64667e651fcedd5;p=xboard.git Merge branch 'master' of git://git.sv.gnu.org/xboard --- 17a9c76c2af477f9604e2fbdc64667e651fcedd5