There will be a short amount of downtime, for git.ligo.org, docs.ligo.org, and chat.ligo.org, starting around approximately 10am CDT on Tuesday 18th June 2019. This is to enable access controls for GitLab Pages. More information can be found here.
This reverts commit a9a83539.
The pluggy developers rapidly released a new version (0.11.0)
which fixed the issues in 0.10.0.
Attach a file by drag & drop or click to upload