am 8c047830: Merge "Fix ODR issues in ART."

* commit '8c0478309e86c6c6d47124035a23f958fa7f08c4':
  Fix ODR issues in ART.