Short Indico downtime Tuesday, June 21

We will reboot the Indico server at 5:30 p.m. Central Time on Tuesday, June 21. Indico will be down for just a few minutes.