Merge "ART: Remove 712 from knownfailures.txt"