tree 04ab8d510d58ec7909799db8aa34beae7a7ffcf5
parent bdaa9afbf20d35a1168a95fdbc609adc47c512de
parent ee747e7dfa543cf77096d348aa6674365a9975c7
author Tom Cherry <tomcherry@google.com> 1577483759 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1577483759 +0000

Merge "liblog: don't destroy global mutexes"