Comment # 14 on bug 1029364 from C. Holm

Thanks for the fix! Please just go ahead and close this, we will update the
affected servers as soon as we can, and we can live with the problem and our
workaround for now. Don't waste time on outdated releases. (;