tree b4bd98b277a04bf3ac3ca655b723bb7798bf8612
parent bc0d243adf6ccb64bbce00e563b2826b7070255d
author Christoffer Quist Adamsen <christofferqa@google.com> 1533112577 +0200
committer Christoffer Quist Adamsen <christofferqa@google.com> 1533112577 +0200

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

Change-Id: Ibec7aaa2c545062792d3cff0e13ee61a6feb242e