Hi Niclas, thanks for merging this PR/8. I see it as closed on github. I have deleted original branch, maybe it will help.
cheers,
Tibor
> On Dec 21, 2017, at 8:40 AM, Niclas Hedhman <[email protected]> wrote:
>
> If anyone knows (or can figure out) how to close a PR, let us know. PR/8
> has been merged into 'develop', but still remains open on GitHub. No idea
> how it is supposed to work...
>
>
> Cheers
> --
> Niclas Hedhman, Software Developer
> http://polygene.apache.org - New Energy for Java
