Completed
Pull Request — master (#770)
by Adrien
27:23 queued 12:22
created

No notable changes

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

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