We are currently experiencing a problem on Boysenberry that prevents people from accessing phpMyAdmin. Unfortunately, fixing this problem causes another problem that prevents certain Lasso-driven sites from working. We are therefore going to attempt an upgrade of MySQL to a version that should work properly for both situations. We will be prepared to roll it back if necessary.

Brief downtime on boysenberry will be necessary. We are making this change during business hours so that it will be quickly apparent if it has caused problems for users.