Passed
Pull Request — master (#152)
by Michael
05:38 queued 02:21
created

No notable changes

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

8.49
▶   ± 0
Head
Michael Moll  
Merge 25df07a1e7cc942384697acbd7055de2d10d3a2c into 628336c594136d76bcead351c2ba89bc9f2ae498
1 more commit
Base
Michael Moll  
Fix static analysis