...
NB: As of Nov 18, 2011 (following rebooting the machines listed below) fans were reset to max speed (Ryan: I don't think this stuck long since the fans went to normal speed on reboot. After a couple of days they were all back at normal levels).
- November 18: rc10, rc20, rc33 (rc20 had to be rebooted twice again to restart it), rc10 (again)
- November 16: rc19
- November 15:
- November 14: rc08, rc10, rc11, rc16, rc19, rc33 (then rc19 crashed again)
...