Closed dbrgn closed 2 years ago
I assume this is a non-controversial change, so I'll merge this directly as soon as CI passes.