It might be fixed by [1], that is part [2] of the latest release v15.0.2.
Giorgio
[1] https://gitlab.com/gitlab-org/gitlab/-/merge_requests/87904
[2] https://about.gitlab.com/releases/2022/06/06/gitlab-15-0-2-released/
On Thu, 9 Jun 2022 at 16:37, Simon Peyton Jones
wrote:
>
> Ben
>
> GitLab's
Ben
GitLab's rendering has become broken. See this ticket
https://gitlab.haskell.org/ghc/ghc/-/issues/20686
- look under "Common ground...". The bullets all have a newline after
them
- Ditto the numbered points under "Generalisation"
- But some bullets under "Generalisation" are OK
