tree 22ae7cf4b758b8d4ae51b9d6be8b9643718a8b4e
parent 9604da99e1ba7aacef5394824c84678cef09172c
parent 50818b78841767cc727f39ff717955f962f59932
author Florian Mayer <fmayer@google.com> 1551889870 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1551889870 +0000

Merge "Use unique_ptr for Maps object."