* Let Gitler produce a changelog for release builds * Fix bug in publishing release documentation * Fix bug in labeling documentation (now uses tag data for better tracability) * Update copyright in documentation
* Let Gitler produce a changelog for release builds * Fix bug in publishing release documentation * Fix bug in labeling documentation (now uses tag data for better tracability) * Update copyright in documentation