Fabio, do you think Denis's us_intl fix made to Debian's SVN HEAD would solve this issue? If so, we should probably drag it across.
Fabio, do you think Denis's us_intl fix made to Debian's SVN HEAD would solve
this issue? If so, we should probably drag it across.