Andrew's git / gitweb.git / diff
?
Merge branch 'va/i18n' into pu
authorPat Thoyts <patthoyts@users.sourceforge.net>
Mon, 3 Oct 2016 22:23:27 +0000 (23:23 +0100)
committerPat Thoyts <patthoyts@users.sourceforge.net>
Mon, 3 Oct 2016 22:23:27 +0000 (23:23 +0100)
Trivial merge