K 10 svn:author V 5 wosch K 8 svn:date V 27 2017-09-27T07:29:27.032238Z K 7 svn:log V 39 fix `make -n' if using git PR: 222631 END