Completed
Pull Request — master (#748)
by Adrien
41:34 queued 26:34
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 addb16da9a26a46f334303c388dcfdb4321d5da3 into 73347517f064b3ef03126db643b7d53bd40c19cf
2 more commits
Base
Oded Arbel  
added comment with spec link, as requested