May 18, 2020 - May 25, 2020

Excluding merges, 28 authors have pushed 92 commits to master and 114 commits to all branches. On master, 427 files have changed and there have been 17123 additions and 12251 deletions.