Merge pull request #1711 from jldgit/jldgit-gdb-script