[Pharo-dev] [Holidays] 14 days no updates: 14th to end of July

Hi, We just saw that everyone who can press the button for a final integration will be on Holidays from July 14 to the end of the month. This means there will be no update, but the issue tracker will stay open of course, so issues can be submitted, fixed and reviewed… they will just not end up the downloadable image for that 2 weeks. Marcus