Skip to content

expected-undocumented-flags remove kill flags

Kathryn Spiers requested to merge eiais/ghc:kill-undocumented-flags into master

It looks like the flags were removed in 3e27205a and can safely be removed here

Tracking: #18641

cc @core-libraries

Edited by Hécate Moonlight

Merge request reports