Completed
Pull Request — master (#13)
by
unknown
04:40
created

Changes

1 new patch (Spacing) is available.
8.83
▼   -0.28
Head
Tobias Helms  
Merge 8c8fe96cfcf1533814bd7f01d4551b57ac5b9222 into b558b3bdbced9c6c0671dbeeebcdfcee2c72e405
1 more commit
Base
Jakob Voss  
Make constructors non-strict by default