Alf Gaida b9e9fc2492 prepare upstream release

2017-09-24 12:41:39 +02:00

..

format

prepare upstream release

2017-09-24 12:41:39 +02:00

options

Cherry-picking upstream release 0.11.0.

2016-10-18 20:08:20 +02:00