am d708a28c: am dd50edcb: Merge "Fix ODR issues in ART."

* commit 'd708a28cf8e5efcdd3ab76ce8276fcb418a8cb41':
  Fix ODR issues in ART.