[julia-users] Re: Community Support for Julia on Travis CI

[Steven G. Johnson]

It seems to have been a temporary glitch; it's working again.