Merge remote-tracking branch 'gnu/gdb-7.8-branch' into 7.8
Merge remote-tracking branch 'sm/7.8' into 7.8