Closed agzimmerman closed 4 years ago
I meant to squash and merge and must have hit the wrong button, because the PR wasn't merged, though it was closed. The checks has already passed before and I don't want to wait on Travis to do this again. The commit to master will be checked by Travis.