Skip to content
GitLab

Update Note references -- comments only

Closed Richard Eisenberg requested to merge rae/ghc:unify-notes into master

This just fixes up @simonpj's small oversight in !2041 (closed).

Merge request reports