Closed HEnquist closed 8 months ago
What keeps you from merging? ;)
Nothing really. I was going to do it when I had time to make a new release, update the install scripts etc, but this can just as well be merged now.
What keeps you from merging? ;)