The latest version of Galaxy was installed on both, the production and development servers. The update was neccessary after a change in the Galaxy toolshed, which made in impossible to install new tools. Because this problem occured in both of our servers, we needed to update them at the same time.
The new installations were tested as far as possible in the time available. But if you encounter any problems or face some unexpected behaviour, please don't hesitate to contact us (firstname.lastname@example.org).