I noticed a new release came out.

If that involved this issue, I'd write a follow up on the list saying it was fixed.