Closed qaxi closed 2 years ago
This is exactly what I was intending to request. Thanks a lot, qaxi.
hello, is it possible to merge it? It is really helpfull!
yes, we could merge this as soon as v3.0.0 is released (next week) and release it as a minor release later on... but: it's hard to merge a closed merge request... would you mind reopening it?
whuut, is that a bug in Github ? how comes my comment goes above "This pull request was closed." ?
ahh I see you've opened a new merge request at #196
Fixes #153
Changes proposed in this pull request:
Signed-off-by: Petr Klima qaxi@seznam.cz