tree 15e409e5291655dd9b1e2ed1f52d29fd5b1f910f
parent 99c571a9f60f99a6f5076748bd9ea2123646f3dd
parent 8cb12d7ba9d757ea7ef76b6e87b80962f2e49f8b
author Julien Desprez <jdesprez@google.com> 1585870316 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1585870316 +0000

Merge "Ensure we restart runtime if stopped"