tree 2f0c28349de25f3e1feb5d31c70ae61f857cfc82
parent 6adc5a8cac4eab3b847f81c422def4b4ae510332
author Andreas Gampe <agampe@google.com> 1478302767 -0700
committer Andreas Gampe <agampe@google.com> 1478302767 -0700

ART: Clean up old mutex

Remove obsolete mutex.

Test: m test-art-host
Change-Id: I476792cac4d5d680192e35055abed66772cf8081