Pushed to master, thanks Ben! Given the nature of this change as a tiny convenience to Evergreen devs, I'm dispensing with writing any release notes.
Pushed to master, thanks Ben! Given the nature of this change as a tiny convenience to Evergreen devs, I'm dispensing with writing any release notes.