Passed
Pull Request — master (#48)
by Manuel
02:11
created

Changes

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