Hi, python-team branch has been merged propagating this patch as 1697c8e60512d34398422892e2bd8891cb83752f to master. -- Thanks, Oleg