Closed mergify[bot] closed 1 day ago
A bunch of recent discussion has gone on about this. Let's see if we are actually interested in making a change.
A bunch of recent discussion has gone on about this. Let's see if we are actually interested in making a change.
This is an automatic backport of pull request #16934 done by Mergify.