Yes - see https://github.com/JuliaLang/julia/issues/10831
On Wednesday, April 15, 2015 at 9:05:53 PM UTC-7, Christian Peel wrote: > > Searching the documentation on docs.julialang.org doesn't seem to work > for me. I tried in several different browsers, two different macines, and > tried it several hours ago and now. I'm certain that I could previously > use the 'search docs' box to ... search, but it doesn't seem to work now. > Is something broken? > > thanks > > -- > [email protected] <javascript:> >
