.gitmodules · miri-release/0 · obsidiansystems / GHC · GitLab

Sep 26, 2019
13629f6b
Make Haddock submodule remote point to gitlab mirror · 13629f6b
John Ericson authored Sep 26, 2019
```
This makes it match the others
```
13629f6b
Make Haddock submodule remote point to gitlab mirror
John Ericson authored Sep 26, 2019
```
This makes it match the others
```