On Mon, May 27 2013, Michael Albinus wrote:

Hi Michael,

> Does the following patch suffices?

Yes indeed, it fixes the problem as far as I can tell!

Thanks!

-- 
Julien Danjou
// Free Software hacker / freelance consultant
// http://julien.danjou.info