Ben, Matthew

I believe that ‘master’ fails validate.  See Trac #16346.

The question is: how did it get past CI?

The bug would only show up if -dcore-lint was on for libraries.

Simon