Hi Andreas, 2018-04-18 22:46 GMT+02:00 Andreas Tille <andreas@an3as.eu>: > > May be you forgot to `git push --all` - so I created the changelog > on my own and uploaded. > I did it :-) You created a new branch with a different name than mine. But doesn't matter, I removed my useless branch. Thanks for the upload. Best, Dylan