Merge branch 'add-gdb' into 'master'

Added gdb as convenience tool

See merge request !8
2 jobs for master in 1 minute and 31 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #169
build_latest

00:01:31

 
  Build Cleanup
skipped #170
cleanup_docker