Bug#942552: gdb: please link with GNU source-highlight

2019-10-20 Thread Sergio Durigan Junior
Control: tags -1 + patch On Friday, October 18 2019, I wrote: > On Thursday, October 17 2019, Asher Gordon wrote: > >> Dear Maintainer, >> >> Gdb has supporting linking with GNU source-highlight since version 8.3 >> (released on May 11th). GNU source-highlight is already included in >> Debian (li

Bug#942552: gdb: please link with GNU source-highlight

2019-10-18 Thread Sergio Durigan Junior
On Thursday, October 17 2019, Asher Gordon wrote: > Dear Maintainer, > > Gdb has supporting linking with GNU source-highlight since version 8.3 > (released on May 11th). GNU source-highlight is already included in > Debian (libsource-highlight4v5 and libsource-highlight-dev), so it > shouldn't be

Bug#942552: gdb: please link with GNU source-highlight

2019-10-17 Thread Asher Gordon
Package: gdb Version: 8.3.1-1 Severity: wishlist Dear Maintainer, Gdb has supporting linking with GNU source-highlight since version 8.3 (released on May 11th). GNU source-highlight is already included in Debian (libsource-highlight4v5 and libsource-highlight-dev), so it shouldn't be too hard to