Merge branch 'dev'
Merged changes made to the official version of GNUstep