Good catch!  The version was wrong, and in fact was pulled four days
before my commit that fixed this bug last year.  Apologies for the noise,
I had no idea the version in Stretch was that old.

Reply via email to