@DavidKorczynski: a while ago we cleaned up the root folder, because it ended up with too many directories and files, therefore I would try to avoid starting adding there again. I would suggest to place it in misc/fuzz.

Then, the only other requirement is format the commit message according to the contributing guidelines:

I can merge this pull request manually (and place it in misc/fuzz), but have in mind the guidelines for future commits/pull requests, we use the git history to generate the changelogs for releases.

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