Andrew's git / gitweb.git / diff
?
Merge branch 'dr/ru' into pu
authorPat Thoyts <patthoyts@users.sourceforge.net>
Tue, 4 Oct 2016 22:29:40 +0000 (23:29 +0100)
committerPat Thoyts <patthoyts@users.sourceforge.net>
Tue, 4 Oct 2016 22:29:40 +0000 (23:29 +0100)
Trivial merge