1.12.1

small fixups that are needed for the Debian freeze in january-2017

2016-12-31
100% Completed