Completed
Pull Request — master (#954)
by Dimitri
01:53
created

No notable changes

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

7.72
▼   -0.02
Head
Dimitri Gritsajuk  
Merge 2e6e12c0252d8c2030b6ca516a5a1b743c7ebc2e into 5c79bbc2d65d14c1c7d9db4aec6f0b93e97ae707
1 more commit
Base
Andreas Braun  
Merge pull request #947 from alcaeus/deprecate-type-commenting