Hello, > I incremented revision, is that the right > thing to do ? Yes, seems fine! Pushed as 93a267b7a40a762a66fa5149336f2c5545cbed30. Thanks, Mathieu