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:46:54 GMT
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