tree b05330d1dc03000e77adeb97aa71daffe847d8e8
parent 9f72aae9e33f2a2b30de0b666c164d3ce1edb9f3
parent 73366636e1b516dceaef72999b2401a76eb8f41e
author Treehugger Robot <treehugger-gerrit@google.com> 1610778581 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1610778581 +0000

Merge "Remove the now-unnecessary android_mallopt() options."