Passed
Pull Request — master (#19)
by Georg
30:32 queued 27:47
created

No notable changes

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

10
▶   ± 0
Head
Georg Ringer  
Merge 0ec08e845792697ce66fe1f31ba4af235c5b07a3 into 8d09413606037c5acd8bea863df60cd7082504c8
2 more commits
Base
Tim  
PHP Stan fixes