Closed gavanderhoorn closed 4 years ago
As per subject.
Not waiting for Travis: all commits have already been through Travis builds, the travis-ci/push build has already succeeded and this is a devel->release branch sync PR.
travis-ci/push
As per subject.