Modify version string to post-release version 0.15.13~git
This commit is contained in:

committed by
Max Kellermann

parent
0fec8e0864
commit
676739c426