http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51727
--- Comment #32 from Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> 2012-11-09 10:05:18 UTC --- > If you can use the additional free time to walk over to my > brother's office, then please say 'Hi' to him. Otherwise the faculty meeting > will have to do :-) Let's call it a small world... I will meet him next week.