my bad , I was looking at PR/7 .
Tibor
> On Dec 21, 2017, at 9:46 AM, Tibor Mlynarik <[email protected]> wrote:
>
> 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
>
