2013-12-02: Redmine service unavailable due to upgrade

The Redmine system on this platform is going to be upgraded on Monday, 2nd of December. The Redmine service won't be available from 10:00 am on for several hours and is expected back online during afternoon.

A condensed list of fixes and features coming with the new version is available at Redmine-New-Features.