Merge commit 'leto/debugger_symbols' into blead
Rafael Garcia-Suarez [Sat, 6 Jun 2009 12:18:56 +0000 (14:18 +0200)]

Trivial merge