-
Reinhard Prix authored
- no API changes - prepares and makes next API-changing patches simpler - refs #1936 Original: 51f66fb734cba77950e2601600617abcd76482c0
02f590de
Maintenance will be performed on git.ligo.org, containers.ligo.org, and docs.ligo.org on Tuesday 23 April 2024 starting at approximately 9am PDT. It is expected to take around twenty minutes and there will be several periods of downtime throughout the maintenance. Please address any comments, concerns, or questions to the helpdesk.
- no API changes - prepares and makes next API-changing patches simpler - refs #1936 Original: 51f66fb734cba77950e2601600617abcd76482c0