firedrakeproject/firedrake — pull request #253 by wence- (2014-04-25 10:39:10+00:00)
Title: upgrade instructions missing some useful details

Please tell people about cache cleaning after upgrading.