Completed
Push — master ( 0e8da9...da320a )
by Björn
23s queued 13s
created

No notable changes

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

7.45
▶   ± 0
Head
Björn Ricks  
Merge pull request #373 from uhei/master
2 more commits
Base
Jaspar L  
Merge pull request #372 from bjoernricks/extend-glossary