It appears that my bug is a subset of http://bugzilla.zimbra.com/show_bug.cgi?id=65623 which is severe enough that a 7.1.3p1 could be on the way. If you're very close to a 7.1.3 upgrade, wait a little longer.