tree f52b7830b901a2c28817dbd9abc0b5e6ab156e22
parent c39b06b6d81c207dc83a1fc110f7904d89070a44
author Rico Wind <ricow@google.com> 1593001599 +0200
committer Rico Wind <ricow@google.com> 1593014206 +0000

Also allow 3 concurrent runs of linux_release

Change-Id: I2d5dad00f3faa92cd362e984dbc3c8f005679699