This bug was fixed in the package gdb - 7.12-0ubuntu3
--------------- gdb (7.12-0ubuntu3) zesty; urgency=medium
* Add debian/patches/armhf-fpregset.patch. LP: #1645501.
-- Kees Cook <email address hidden> Tue, 29 Nov 2016 15:30:20 -0800
This bug was fixed in the package gdb - 7.12-0ubuntu3
---------------
gdb (7.12-0ubuntu3) zesty; urgency=medium
* Add debian/ patches/ armhf-fpregset. patch. LP: #1645501.
-- Kees Cook <email address hidden> Tue, 29 Nov 2016 15:30:20 -0800