Luca Boccassi 877978adf7 Problem: fuzzers not run in PRs
Solution: do it
2020-07-04 17:50:35 +01:00
..
2020-07-04 17:50:35 +01:00