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.

Commit f882f8b1 authored by Rhys Green's avatar Rhys Green

typo ...adding \

parent 32c82925
Pipeline #44361 failed with stages
in 14 minutes and 34 seconds