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 <niclas@hedhman.org> 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
|