> > Are you proposing a change, other than an item in the release notes? > Certainly there should have been a NEWS item added when that support > went in. Igor, can you work one up? Sure, I will prepare the comment for NEWS. And mention valgrind issue there, right? Thanks, Igor