Hi,

Here is a patch that fixes the default for GDB history size.