Passed
Pull Request — master (#48)
by Manuel
01:59
created

Changes

3 issues (3 unknown) were introduced.
9.96
▶   ± 0
Head
Manuel Reinhard  
Merge 115a9188aea1e5fd3fb7fd296859d67122879789 into fff5f41bf7ab680bf2b4cda20259ae97395425e9
1 more commit
Base
Manuel Reinhard  
Update specifications document