I don't remember this or #1180 from 2016 but I did not think #1180 was correct AFAICT from the comments. Given the passage of time since they were proposed, that nobody has found them sufficiently worth progressing, and that this has conflicts anyway I suspect both could be closed. Its easy enough for someone to reopen them.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.