On Fri, Mar 24, 2017 at 1:19 AM, Magnus Hagander <magnus@hagander.net> wrote:
> On Tue, Jul 5, 2016 at 3:47 PM, Amit Langote <amitlangote09@gmail.com> wrote:
>> It might be ok to have Google return pages from current or older.
>
> Better very late than very never, I hope, we now have working search of the
> developer docs again. They are still not included in the "global search",
> but if you initiate the search from within the devel docs (and get that in
> the url), it should now work.
Yay! It works.
Thanks,
Amit