Paul Holt Sat, 11 Aug 2012 22:45:13 -0700
The patch provided by Robert K looks good. I'm happy that the linked patch fixes the reported bug.
-- Paul Holt
