Hello Per, It's been over two years since the last release (3.1.1, 2020-01-16), I count 72 commits made to the master branch since then. Would it be a good time to make a 3.1.2 release soon? Thanks! -- Duncan.