Closed plijnzaad closed 3 years ago
This fixes #112. For some reason the github says it can't automatically merge, but I think I'm fully uptodate. It may be due to a backmerge from issue 86. Anyway, changes are completely trivial, might be easier to apply it as a separate patch.
Thanks for this - I've committed the key change to develop.
This fixes #112. For some reason the github says it can't automatically merge, but I think I'm fully uptodate. It may be due to a backmerge from issue 86. Anyway, changes are completely trivial, might be easier to apply it as a separate patch.