-
Karl Wette authored
- Remove unneeded [*], since last argument already uses default pattern Original: 53b10e136f42676ff649223d63c7a01cf5ea48f7
666f5452
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.
- Remove unneeded [*], since last argument already uses default pattern Original: 53b10e136f42676ff649223d63c7a01cf5ea48f7