1. 2020-07-31 Re: [PATCH 2/2] gdb.base/coremaker2.c: Fix compilatio gdb-patch Kevin Buettner via 2. 2020-07-31 Re: [PATCH 2/2] gdb.base/coremaker2.c: Fix compilatio gdb-patch Simon Marchi 3. 2020-07-31 [PATCH 2/2] gdb.base/coremaker2.c: Fix compilation pr gdb-patch Kevin Buettner via