Developers

The code is currently maintained in a github repository. Please send merge requests from there.