Completed
Push — master ( e7e4e9...5a3ce5 )
by David
16s queued 10s
created

No notable changes

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

9.52
▶   ± 0
Head
David Buchmann  
Merge pull request #1302 from manuelkiessling/patch-1
2 more commits
Base
David Buchmann  
Merge pull request #1301 from robfrawley/fix-documentation