No matches were found for subject:"Bug#518134\: gdb\: please don't read the whole file when using split symbols"