[XBoard-devel] git issues

[Arun Persaud]

Hi

just fyi... seems like we can't push into git (/tmp on the server is
read only for some reason). I got some changes from HGM and will upload
them later...

ARUN