-
Leo P. Singer authored
This reverts commit 277dfbb4a53eada9605dbdff034ffa63d00b6bc1. This change actually made it slightly slower. Original: 57d3cd14a347531dd03a8d31787ce35067918819
b942fdc9
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.
This reverts commit 277dfbb4a53eada9605dbdff034ffa63d00b6bc1. This change actually made it slightly slower. Original: 57d3cd14a347531dd03a8d31787ce35067918819