Completed
Pull Request — master (#183)
by no
11:04 queued 07:40
created

No notable changes

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

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