> LGTM!  (Please add a “Fixes …” line to the commit log for future
> reference.)

Done and pushed.

Mathieu



Reply via email to