Remi, it shouldn't have been. I'll look at it. On Fri, Jan 8, 2016 at 8:38 PM, Remi Bergsma <rberg...@schubergphilis.com> wrote:
> Hi, > > What happened to the Jenkins test on PRs? It seems PR 1287 was the last > one to have both Travis CI and Jenkins. Since then, it’s only Travis CI. > > Why was it removed? (did I miss the mail?). > > Regards, > Remi > > -- Daan
