August 29, 2018 – September 5, 2018
Overview
Excluding merges, 1 author
has pushed
3 commits to master and
3 commits
to all branches.
On master, 9 files
have changed and there have been
28 additions and
25 deletions.
3 Pull requests merged by 3 people
-
Merged
#8
Bye, bye extern crate
Aug 30, 2018 -
Merged
#7
Don't run clippy if it's not currently available
Aug 30, 2018 -
Merged
#3
nightly fixes
Aug 30, 2018
1 Issue closed by 1 person
-
Closed
#6
nightly is no longer gated on clippy
Aug 30, 2018