K 10
svn:author
V 7
olivier
K 8
svn:date
V 27
2017-02-14T10:29:38.032880Z
K 7
svn:log
V 359
Update to 7.12.1
Updating gdb to the last stable version and cleaning it up.

PR:		217090
Submitted by:	luca.pizzamiglio@gmail.com (maintainer)

PR:		216027
  - Recognizing the compiler to adopt options properly
  Reported by:   julian@FreeBSD.org

PR:		216132
  - Fixing the segmentation fault, but arm core dump not yet usable
  Reported by:   Mark Millard

END