The gdb patch's indentation is off-by-one
space character...

Here is an updated one...

-- 
Vincent Legoll