tree 94e55c562fb897aface225d330dce373c3f1c050
parent fd02b2b167401c6a26911dc6a1099b5bd5086129
author Søren Gjesse <sgjesse@google.com> 1553268128 +0100
committer Søren Gjesse <sgjesse@google.com> 1553268128 +0100

Update patch version for release - new version is 1.5.13-dev

Change-Id: I219f62db99d60b11da9ecb7a7876e7ad1edeb8b7