Changelog entry for gdbint.texinfo fix