Make the rwky redis patch less costly when unnecessary
Make the rwky redis patch less costly when unnecessary

craigcitro/travis-build,JuliaCI/travis-build,andyli/travis-build,craigcitro/travis-build,JuliaCI/travis-build,andyli/travis-build