On Wed, Apr 25, 2018 at 01:24:18PM +0200, Mark Wielaard wrote: > It is just a .debug_str section with another name.
Pushed to master.
On Wed, Apr 25, 2018 at 01:24:18PM +0200, Mark Wielaard wrote: > It is just a .debug_str section with another name.
Pushed to master.