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
gdb command#41372bors merged 2 commits intorust-lang:masterfrom
nbigaouette:master