Skip to content
GitLab
Explore
Sign in
Register
[trivial] doc: fix copy/paste error
Code
Review changes
Check out branch
Download
Patches
Plain diff
Fraser Tweedale
requested to merge
frasertweedale/ghc:doc/divInt-note-copy-paste-fix
into
master
Jul 26, 2021
Overview
2
Commits
1
Pipelines
1
Changes
1
Expand
Trivial doc change, fixing an incorrect heading.
Merge request reports