Hi Patrick, > Did you use 'git send-email' for this instead of a github pull request? > Without a pull request we don't currently have a mechanism to trigger > Jenkins to test. OK, sure thing. I'll submit a pull request. Cheers, Jeremy