Skip to content
Snippets Groups Projects
Commit 4dfdc96b authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Remove a dead comment 

Just remove an out of date block of commented-out code, and tidy up
the relevant Notes.  See #8317.
parent b09e6958
No related merge requests found
Pipeline #89728 passed
Stage: tool-lint
Stage: quick-build
Stage: full-build
Stage: packaging
Stage: testing
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment