Hi, please push your commit but don't upload : - I'll report upstream and forward your patch ; - I'll take the occasion to do some little things on the package, so I'll upload when I'll be done (probably before next monday). Thanks! JP