GitHub stats for 2017/06/27 - 2017/10/24 (tag: 0.12.0)
These lists are automatically generated, and may be incomplete or contain duplicates.
The following 13 authors contributed 212 commits.
We closed a total of 115 issues, 39 pull requests and 76 regular issues; this is the full list (generated with the script tools/github_stats.py):
Pull Requests (39):
Issues (76):