Kjetil Kjernsmo Fri, 02 Nov 2018 10:15:45 -0700
Hi! I just wanted to nudge, since I just made another small release. This should be a really straightforward update, and the previous release fixed some long outstanding issues.
Kjetil
