K 10 svn:author V 2 rm K 8 svn:date V 27 2012-12-04T08:37:13.945689Z K 7 svn:log V 196 - update to 1.3.12 while here: - trim Makefile header - remove trailin dots from options descriptions PR: 174094 Submitted by: Jaap Akkerhuis (maintainer) Feature safe: yes END