Completed
Push — master ( 875dc3...93069f )
by
unknown
41s queued 33s
created

No notable changes

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

6.88
▶   ± 0
Test Coverage
95%
▶ ±0%
Head
oleibman  
Merge pull request #4392 from christian-fries/patch-1
1 more commit
Base
oleibman  
Merge pull request #4384 from oleibman/stan2new