tree e82c7e8ccfde2a261fa73aebf04011ab4319ebd8
parent 5b3bb695b0926511de0cee2a8605fc60de77aec9
author Rico Wind <ricow@google.com> 1579070065 +0100
committer Rico Wind <ricow@google.com> 1579078361 +0000

Update dev branch in release script

I forgot that one can actually use the script to branch, so manually updating it.

Change-Id: I36a91894378eaf6ec08e4db591ca8cb7c0cd6d10