Commit ab4c17cad37f33e956d625178a9904fc7c3056c2
authorMichel Pollet <github.com@pollet.net>
Wed, 8 Jan 2020 09:14:45 +0000 (09:14 +0000)
committerGitHub <noreply@github.com>
Wed, 8 Jan 2020 09:14:45 +0000 (09:14 +0000)
treec6cfe0265648f441cc3c409ad76236559ca2b3a6
parentbebbaf8a028035c52cf8e522bfc7a733aac31a31
parent4ad41b9ae8f6da9a7e8613598847964ccc64c1b6
Message:
Merge pull request #358 from jcvdev/gdb-tcp-port

Optionally specify TCP listening port for -g,--gdb option (default 1234)