tree 284d2df94ac2b277d1b808a2d5f44f0a88c887df
parent a0c191867f49cb20df36f969cf48fca075f6bf48
parent ba6d1da8eac55277e0fe3277328180e3fbee56e3
author Josh Gao <jmgao@google.com> 1586291807 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1586291807 +0000

Merge "adb: add option to disable kill-server."