On Tue, Sep 25, 2012 at 10:03:23AM -0700, Peter Moody wrote:
Hey folks,
following up on old patches, are there any comments on this? Did you
get around to finding a better way to fix this bug, Al?
Alas, I've found none ;-/ Looks like we'll have to go with this one,
at least until somebody comes up with better solution.