May 18, 2020 - May 25, 2020

Excluding merges, 6 authors have pushed 20 commits to master and 20 commits to all branches. On master, 32 files have changed and there have been 1202 additions and 835 deletions.