-
Karl Wette authored
- which also prints to config.log - useful for debugging how library was configured by looking at config.log Original: 32f6b5a2f61582f0d95c350c97749486b0db9158
4c71be6e
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.
- which also prints to config.log - useful for debugging how library was configured by looking at config.log Original: 32f6b5a2f61582f0d95c350c97749486b0db9158