tree 4b2616f1454155240a9872b4441d4a85de0b03cd
parent 7a7c49accc59352276816718a4c7ae52f9683f99
author Rico Wind <ricow@google.com> 1522324391 +0200
committer Rico Wind <ricow@google.com> 1522324391 +0200

Update patch version for release

New version is v1.2.5-dev

Change-Id: I740cd6acc7e6f3f1d2b3a5848f11fe60571bda18