tree 42d38d43040966af3583b5713f4155534798f808
parent a8309c3c56749ce9c97a74549b64643ee104f3b5
author Ian Zerny <zerny@google.com> 1533538847 +0200
committer Ian Zerny <zerny@google.com> 1533538847 +0200

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

Change-Id: I4f043a73d274a5ade02233f48c9d425e81a78cbe