This is already in master (#7617), but still would be good to have in 0.12.1 as well.
(Cleanup of #7044)
This is already in master (#7617), but still would be good to have in 0.12.1 as well.
(Cleanup of #7044)
ACK fa48d993aed855dc08c986f80da684cc69a8167d
Changes are OK. Isn't it better for the log/change tracking to cherry-pick the changes instead?
Changes are OK. Isn't it better for the log/change tracking to cherry-pick the changes instead?
Yes, I don't think this warrants another pull request. That's more apt when there are non-trivial changes.
See f04f4fd2eed581a5e287d14036d790cf2badcbe6