I just noticed there is no tag for the 0.71.0 release, so I'll merge 
all changes since the branch creation, should work since no new commit 
has been made since the 0.71.1 tag. Is this okay ?

Cheers
Jérôme

Reply via email to