On 02/24/2013 09:51 PM, Pierre Muller wrote: > I did not find any gdb_7_6-branch yet, which probably means > that this will be in 7.6 release, no? Right, 7.6 has not branched yet. -- Pedro Alves