[Pharo-project] A last 1.3 update? (startup related)

Hi, There is a last improvement for 1.3 from Netstyle/cmsbox: Issue 4617: More error tolerant startup http://code.google.com/p/pharo/issues/detail?id=4617 Should we integrate that? Else, the idea is to retire 1.3 from the build server eventually (as there will not that many changes that an integration server setup is needed). Marcus -- Marcus Denker -- http://marcusdenker.de