On http://gem5.org on the sidebar there is a link "Search Source" that points 
to http://grok.gem5.org/ which gives "Service Unavailable".

Can we either fix the instance, or remove the link?

Personally, I'd just remove it, GitHub + ctags is enough for me.

IMPORTANT NOTICE: The contents of this email and any attachments are 
confidential and may also be privileged. If you are not the intended recipient, 
please notify the sender immediately and do not disclose the contents to any 
other person, use it for any purpose, or store or copy the information in any 
medium. Thank you.
gem5-dev mailing list

Reply via email to