]> granicus.if.org Git - fribidi/commitdiff
Merge pull request #48 from khaledhosny/version
authorDov Grobgeld <dov.grobgeld@gmail.com>
Sun, 4 Feb 2018 19:42:11 +0000 (21:42 +0200)
committerGitHub <noreply@github.com>
Sun, 4 Feb 2018 19:42:11 +0000 (21:42 +0200)
Keep micro version in full version even if 0


Trivial merge