Closed gdalle closed 5 months ago
Merging either first doesn't make much difference, but yeah let's definitely wait for both PRs before registering the new version!
Ah sorry, I forgot that you had merge rights in this repo! I'll let you merge the next time 🙂
no big deal :) should we release?
I think we should merge #253 first which potentially fixes the docs.