Passed
Pull Request — master (#1513)
by Michael
07:38
created

No notable changes

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

5.87
▶   ± 0
Head
Koreus  
Merge 180b597d07a87bb60ef7e0195b644bea90c2bc48 into cd5b2deadd7e9e7fd534905bdd5e7f6c4c8cc8fd
3 more commits
Base
Michael Beck  
Merge pull request #1510 from koreus/patchtag