[sr-dev] git:master:88af7f7f: Merge pull request #2903 from DavidKorczynski/cifuzz