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.