WAYF ops briefly disturbed due to auto-update failure

The WAYF service saw disturbance on Tuesday, May 25 from 9 AM until 9,30 AM but is now again running stably.

The disturbance turned out to have been caused by a failed automatic OS update attempt on all WAYF front-end servers simultaneously. Henceforth, WAYF's front-end servers won't be updated all at the same time.