Use an (over-writable) environment variable for the gdb
command#41372
Merged
bors merged 2 commits intorust-lang:masterfrom Apr 21, 2017
nbigaouette:master
Merged
Use an (over-writable) environment variable for the `gdb` command#41372bors merged 2 commits intorust-lang:masterfrom nbigaouette:master
bors merged 2 commits intorust-lang:masterfrom
nbigaouette:master