Hi, Not a real issue, just a kind request for a new stable release: * there are a few commits already merged to `master` since 1.9.0 * At least these PRs can be merged straight away without fear, IMO: * [x] #213 * [x] #206 * [x] #202 * [ ] and probably this one too (but I didn't tested it): #153 Thanks.
Activity
ahornung commentedon Nov 1, 2018
Thanks for the heads-up! I'll try to have a look into it.
ahornung commentedon Nov 23, 2019
v1.9.1 released.
jlblancoc commentedon Nov 23, 2019
Fantastic, thanks! 👍