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