tree d8e2fd64e087bdb411198c32397040d6da38fdb7
parent b6c62bb02eeb893b517c72d6e2b5e382307558cc
author Rico Wind <ricow@google.com> 1557120420 +0200
committer Rico Wind <ricow@google.com> 1557128076 +0000

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

Change-Id: I3e7c982c04b1cce82b53c6b6119e8acbe9e7706e