tree 42c606c8925a3f08b62240622db40d5da846db50
parent b5510dd66b3148e306ea6852f9653333393f7653
author Søren Gjesse <sgjesse@google.com> 1529303307 +0200
committer Søren Gjesse <sgjesse@google.com> 1529303307 +0200

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

Change-Id: Ie5e0e5bec323263ebee2222ef68fd16890d5d720