[FYI] GitLab upgraded

Hi everyone, I have upgraded our GitLab instance. While generally the changes are pretty minor, one significant change is that batched review comments should now result in a single email notification. Anyways, as always, let me know whether there is any trouble. Cheers, - Ben