Christophe did a pass because he faced the same problem and he improved the situation. Now he left on vacation (and was stopped because of a huge jenkins crash because he left) and I do not know the status. (because we are also annoyed and sorry than you by the situation).
Stef On Sun, Aug 13, 2017 at 10:31 AM, Vityou . <zlee...@gmail.com> wrote: > I recently discovered the pharo launcher. However, it only gives me options > to use outdated images, and I'm not sure about the vm. Is there any way to > change this?