長らくメンテナンスされる気配がなかったようなので、Travis CI から落とす PR を出してマージされた。少しばかり CI の結果が早くなったり、pending からキューイングされるのが速くなるのではと思う。 github.com rbx-3 へのサポートをしようという人はい…