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
