Skip to content

Update Note references -- comments only

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