On Sat, Aug 12, 2017 at 06:25:02PM +0000, Mike Gabriel wrote: > Thanks for uploading. Can you also push your changelog changes to the Git > repo? Thanks! Done, Sorry for forgetting Andreas. -- http://fam-tille.de