Package: gdb Version: 7.0.1-2 Severity: minorgdbserver was split out, but has it's own copy of the doc directory. Now having both packages installed uses more space than the former gdb package alone. Please consider symlinking the doc directory for gdbserver, gdb64 and libgdb-dev.
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
