tree 52f3a438be8849c1525cad1c82ee8cf96e96edcb
parent 30ddb75955a9fbeb90c60c4c442857a711f4cf64
author Søren Gjesse <sgjesse@google.com> 1531207419 +0200
committer Søren Gjesse <sgjesse@google.com> 1531207453 +0000

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

Change-Id: I3df2f42071170da92bb2454af03eb2816cb3a975