Closed ghost closed 2 years ago
@tomschr Could you check that this makes sense?
The idea is to prevent more issues like #443 cropping up.
Merged after quick informal review from Toms.
@tomschr Could you check that this makes sense?
The idea is to prevent more issues like #443 cropping up.