Completed
Pull Request — master (#825)
by
unknown
09:51 queued 02:06
created

Changes

2 issues (2 minor) were introduced.
1 issue was fixed.
7.16
▶   ± 0
Head
Tobias Schultze  
Merge 973da105a4eb58d2b3ff7acfd55b2c3045d22600 into 1f504e5dc538b8ee151e0943dea5127ceffd1436
1 more commit
Base
Andreas  
Merge pull request #807 from XWB/alias