polygene-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Tibor Mlynarik <tibor.mlyna...@gmail.com>
Subject Re: Close PR?
Date Thu, 21 Dec 2017 08:49:34 GMT
my bad , I was looking at PR/7 .

	Tibor

> On Dec 21, 2017, at 9:46 AM, Tibor Mlynarik <tibor.mlynarik@gmail.com> 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 <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
> 


Mime
View raw message