This branch pulls the commits from #18, so PLEASE take a look at that one independently if you plan to merge both PRs to Max's branch. You cannot merge this branch without merging that PR's commits, so take a look at that one first.
ONLY MAX SHOULD BE MERGING THESE SINCE IT'S ONTO HIS BRANCH
This branch pulls the commits from #18, so PLEASE take a look at that one independently if you plan to merge both PRs to Max's branch. You cannot merge this branch without merging that PR's commits, so take a look at that one first.
ONLY MAX SHOULD BE MERGING THESE SINCE IT'S ONTO HIS BRANCH