[wwwdocs] www-cs-faculty.stanford.edu has moved to https (projects/prefetch.html)

It appears I already fixed this weeks, if not months ago, except that actually committing the changes helps? Done now. Gerald Index: projects/prefetch.html === RCS file: /cvs/gcc/wwwdocs/htdocs/projects/prefetch.html,v retrieving re

[wwwdocs] www-cs-faculty.stanford.edu has moved to https

Applied. Gerald Index: readings.html === RCS file: /cvs/gcc/wwwdocs/htdocs/readings.html,v retrieving revision 1.288 diff -u -r1.288 readings.html --- readings.html 8 Jan 2018 00:39:28 - 1.288 +++ readings.html