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