July 29, 2020 - August 5, 2020

Excluding merges, 8 authors have pushed 24 commits to master and 28 commits to all branches. On master, 103 files have changed and there have been 13614 additions and 6622 deletions.