EZproxy downtime early morning June 15th

The EZproxy service may be unavailable for a short time in the early hours of Thursday, June 15, 2023. This is to complete updates from the maintenance that was performed June 14, 2023.