On Sun, Nov 03, 2019 at 07:10:20PM +0000, Ramsay Jones wrote: > On 03/11/2019 16:26, Luc Van Oostenryck wrote: > > Hmm, why had I not noticed gdbhelpers before! :-D I confess that I also have never used it. Maybe I should. Thanks for noticing the typos and inconsistencies. -- Luc
