Completed
Pull Request — master (#749)
by Adrien
52:06 queued 37:12
created

No notable changes

There were no notable changes in the changeset which was inspected.

9.87
▶   ± 0
Test Coverage
98%
▶ ±0%
Head
jmsche  
Merge 2f5fe91b9621ba88c95b9968082271fd82637ce9 into 73347517f064b3ef03126db643b7d53bd40c19cf
2 more commits
Base
Oded Arbel  
added comment with spec link, as requested