Re: [Pharo-dev] ubuntu ppa not up-to-date

Nov. 16, 2015

      Done!

Am 16.11.2015 um 18:35 schrieb Markus Fritsche:
...
Hi Peter, hello list,
I am going to update it today.
Kind regards,
  Markus