On 02/07/15 13:24, Andreas Tille wrote:
Hi, I can not find the changes for the release in question in Git. Kind regards Andreas.
Done. Pushed both branch and release tag. Ghis