Jenkins build is back to normal : gnustep #12

[greg . casamento]

See <http://192.168.1.6:8080/job/gnustep/12/>



_______________________________________________
Gnustep-dev mailing list
Gnustep-dev@gnu.org
https://lists.gnu.org/mailman/listinfo/gnustep-dev