which is required for completion via gud-gdb-fetch-lines-filter. Fixes: debbugs:10274
Attach a file by drag & drop or click to upload