Re: [Pharo-project] Updating a Plugin on Jenkins