Skip to content

Remove a dead comment

Simon Peyton Jones requested to merge wip/T8317 into master

Just remove an out of date block of commented-out code, and tidy up the relevant Notes. See #8317 (closed).

Merge request reports