Bastien Sat, 09 Jul 2011 08:55:41 -0700
Hi Benjamin, patch applied -- thanks for it and for the detailed and clear analysis.
Best, -- Bastien