am 16f523bf: am a338da43: Merge "ART: Add miranda checking"

* commit '16f523bf6d64d729f82757c76f7f0a7dea616e0a':
  ART: Add miranda checking