Dear all, we're about to switch over source.squeak.org to the new infrastructure, safe a few minor adjustments. Please cease commit to source.squeak.org until Chris or a Box-admin says we're go again :) Thanks and best regards -Tobias (Somehow managing the infrastructure switch)