Thanks! I needed to close and reopen a couple of them because Travis tried building them with the wrong config (because a few of the pull requests were incorrectly shown as based on master at the time Travis got them).

Thanks! I needed to close and reopen a couple of them because Travis tried building them with the wrong config (because a few of the pull requests were incorrectly shown as based on master at the time Travis got them).

Also I closed and reopened the other two, because Travis seems to have built them against the merge point with master.