Just a quick note on this one: the OSS-Fuzz PR has now been merged and fuzzing should start soon:
google/oss-fuzz#5279 (comment)

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.