tree 54ba1dc53aae37ad20899c5645740f769a1ddc35
parent 8c29cc5f6e071ee2dabe6d6a80d5957b576feacf
author Rico Wind <ricow@google.com> 1552890450 +0100
committer Rico Wind <ricow@google.com> 1552890450 +0100

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

Change-Id: Ia3275c017e7c3433d2c31d6788f2b9462b1ab3f3