Ganesh Ajjanagadde <gajjanagadde <at> gmail.com> writes: > The wiki, Ticket1464, and Ticket3970 warn about the > usage of GCC 4.2. > This fixes Ticket3970. Pushed. Thank you for working on this issue, Carl Eugen