- User Since
- Jun 18 2019, 1:22 PM (30 w, 5 d)
Nov 18 2019
Indeed, you're right. This bug was just an artifact of my fuzzing harness.
Oct 9 2019
Looks good to me. Thanks for the quick reaction (and sorry for my slow one!)
Sep 3 2019
I have no idea who to specify as reviewer, so I'm picking the maintainer from src/README, Adriaan de Groot.
Jun 21 2019
Looks good to me now!
I noticed a few more things on the second read.
Jun 18 2019
I've gone over the code and found some issues. I haven't fully thought through the design on a conceptual level, because I assume Matthias already did.