bugs.openjdk.org offline 2023/11/03 beginning at 04:30 UTC

[Iris Clark]

bugs.openjdk.org will be offline for maintenance for up to 4 hours starting at
04:30 UTC Friday 2023/11/03 (9:30PM PDT Thursday 2023/11/02):

https://www.timeanddate.com/worldclock/fixedtime.html?iso=20231103T0430&p1=1440

Services which depend on bugs.openjdk.org, including the Git PR bot which
merges pull requests and updates bugs.openjdk.org, will be unavailable.

Thanks,
Iris