Minor bug fixes, mostly from testing with php 7.x on toolforge. See merge request 3 for more details: https://gitlab.wikimedia.org/repos/security/semgrep-merge-tool/-/merge_requests/3
Initial 0.1 beta release of the Semgrep Merge Tool