Skip to content

Clean a stray bit of text in user guide

Ryan Hendrickson requested to merge rhendric/ghc:rhendric/user-guide-fix into master

See the (tiny) diff.

Going back through the Git history, this text was part of this documentation when it was originally introduced in ef2b170c, where it looks like it was just a misplaced fragment rather than anything intentional. It's been faithfully carried forward for two full decades through various format changes and reorganization of files, and I'm kind of impressed, but not so impressed that I don't want to clean it up.

Merge request reports