don't forget to push tags
add a release making script
sign the tags
remove old tool; have generator reactor properly if already done
support for bug tracker in the configuration
fix release script
fix builder bugs
v3.2.9
Merge branch 'develop' into gh-pages