-
Samuel Rowlinson authored
Now performing the necessary post-processing of obtained broadest changing sub-trees, setting parents as appropriate and removing single branch trees whose parents have already been set on another changing tree.
4ec7929a
Maintenance will be performed on git.ligo.org, containers.ligo.org, and docs.ligo.org on Tuesday 30 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.
Now performing the necessary post-processing of obtained broadest changing sub-trees, setting parents as appropriate and removing single branch trees whose parents have already been set on another changing tree.