Re: [Pharo-users] How do I update PharoLauncher?