Skip to content
Snippets Groups Projects
Commit baf31ea1 authored by Pietro Incardona's avatar Pietro Incardona
Browse files

Fixing installation of GDB server

parent 0275c517
No related branches found
No related tags found
No related merge requests found
Pipeline #3374 passed
Stage: build
Stage: test