This is a rebased version of #1379 so I can include it in today’s release without bothering the author. I wasn’t able to push directly to the PR’s branch, likely because it has been disabled when opening the PR.
Hopefully git/github should be smart enough to preserve authorship here.
This is a rebased version of #1379 so I can include it in today’s release without bothering the author. I wasn’t able to push directly to the PR’s branch, likely because it has been disabled when opening the PR. Hopefully git/github should be smart enough to preserve authorship here.