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

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