On Monday 06 June 2011, Daniel-Constantin Mierla wrote: > > i guess this qualify as a bug, do you plan to backport this to 3.1 branch > > as well? > > yes. Seems I forgot to push the local branch 3.1 to remote repository. > Thanks for pointing out. Thank you. Henning