Thomas Guillerme

Results 1 comments of Thomas Guillerme

Thanks for the heads up @jarioksa! I'm happy to go with either option (i.e. the release in between with `warning` or the straight synonymy). I'm also happy to change the...