As I said above, I can't access my development machine ATM, and although I had tested this there, I didn't have time to make the PR so I just made it "by hand" on Github from my tablet using the little editing pencil. Just to try to be helpful.

I am not sure if there is any way of adding the travis.yml changes to the branch that this created without access to "proper" git.

Since it looks like it will be longer than expected before I get home I guess this can just get left here as a reminder, unless the changes are made as part of any other PR addressing #2896 then it and the branch can be deleted.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.