Thanks for noticing arjan tijms, it slipped past me unnoticed. For future occurrences, I've created a Jenkins job which should check this and let us know.