The gdb-11-branch branch has been updated by Simon Marchi