Gah, I missed out animport warnings inbackend_tools.py, this was why I wanted#4810, so Travis would catch such silly errors. I suppose I have to create a separate PR for that? Also a separate branch?

Actually, it can technically be the same branch, but it obviously needs to
be a new PR.

On Thu, Sep 3, 2015 at 5:47 PM, OceanWolfnotifications@github.com wrote:

Gah, I missed out an import warnings in backend_tools.py, this was why I
wanted#4810#4810, so
Travis would catch such silly errors. I suppose I have to create a separate
PR for that? Also a separate branch?

—
Reply to this email directly or view it on GitHub
#5017 (comment)
.

Thanks for the advice, done it in#5024.