Oops, I don't think the patch got mailed out.  Stupid web interface...