Cool, merged.
I'll keep the Travis CI integration enabled for some time, so existing PRs can still be built without having to rebase to master. At least as long as the remaining credits will not run out again.
—
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.
You are receiving this because you are subscribed to this thread.