Completed
Pull Request — master (#183)
by no
05:32 queued 03:13
created

No notable changes

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

9.87
▶   ± 0
Head
Thiemo Mättig  
Merge dfea492c2bf6f4d8fe665427f015e73d4a5dd190 into 92b32053a83a87046096277078b9d179a1645851
1 more commit
Base
Jonas Kress  
Merge pull request #182 from wmde/throws