OSDN Git Service

Merge "Ensure dumpstate children die"
authorjp abgrall <jpa@google.com>
Mon, 11 Mar 2013 18:09:35 +0000 (18:09 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Mon, 11 Mar 2013 18:09:35 +0000 (18:09 +0000)

Trivial merge