Ubuntu and Debian packages / 2013-07-12

[Philippe Roussel]

Hi,

I updated gnustep-{make,base,gui,back} and related dev packages this
morning.

Philippe

_______________________________________________
Discuss-gnustep mailing list
Discuss-gnustep@gnu.org
https://lists.gnu.org/mailman/listinfo/discuss-gnustep