[pull] master from trailofbits:master#2

pull[bot] wants to merge 1 commit into

AwesomeGitHubRepos:masterAwesomeGitHubRepos/ctf:masterfrom

trailofbits:mastertrailofbits/ctf:masterCopy head branch name to clipboard