Update: The repo is still down pending restoration, which we expect will happen one of the first coming weekdays.
On Sat, Oct 2, 2021 at 10:45 AM Rasmus Munk Larsen <[email protected]> wrote: > We are troubleshooting a technical issue, and the Eigen repo is currently > offline. Please keep any local modifications you have of the repo. > > Rasmus >
