July 5, 2020 - July 12, 2020

Excluding merges, 2 authors have pushed 2 commits to master and 2 commits to all branches. On master, 5 files have changed and there have been 9 additions and 10 deletions.