> Please note that this issue is _not_ fixed in 3.9. There is no official > valgrind release with the fix available at the moment. You said it's fixed in trunk, though. So there is some forthcoming version we can name that will have it fixed. Is that 3.10?