| Message view | « Date » · « Thread » |
|---|---|
| Top | « Date » · « Thread » |
| From | Niclas Hedhman <nic...@hedhman.org> |
| Subject | Close PR? |
| Date | Thu, 21 Dec 2017 07:40:29 GMT |
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 | |