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
