Patches were committed a day or two ago and no one has reported
problems.  Resolving ticket.

Reply via email to