Closed radarhere closed 1 month ago
Reverts #8239 now that https://github.com/google/oss-fuzz/pull/12546 has been merged.
Reverts #8239 now that https://github.com/google/oss-fuzz/pull/12546 has been merged.