31 Dec
2012
31 Dec
'12
11:04 p.m.
On Mon, Dec 31, 2012 at 07:52:11PM +0000, corvid wrote:
What if we do something like the attached? We might be able to get away with a smaller fix, but this seemed sensible conceptually.
Thanks, your patch fixes this issue (and I don't see any side effects). Best, Alex