On Sat, Nov 19, 2011 at 12:34 AM, Michael Smolsky
> Now waiting for 9.2 package to ship for Ubuntu...
Oh - 9.2 won't be released for a while; I tested on a recent git
checkout of the main branch.
It's possible that the next 9.1 point release (9.1.2) would contain
this fix, but I haven't verified this (the way to check would be to do
a git checkout of the 9_1_STABLE branch from git, and see if the fix
is present there).
Josh
