Reinhard Pointner 45c773855a * if updating cached data doesn't work, make due with what we have		2012-07-26 08:36:53 +00:00
..
sourceforge	* if updating cached data doesn't work, make due with what we have	2012-07-26 08:36:53 +00:00