Passed
Pull Request — master (#373)
by
unknown
01:39
created

No notable changes

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

7.45
▶   ± 0
Head
uhei  
Merge aaa88fbb28d4a592f27e095b89d605ffd49008d3 into 0e8da9961273c122e6653915ec660152c07f3501
1 more commit
Base
Jaspar L  
Merge pull request #372 from bjoernricks/extend-glossary