>>>> "David" == David Malcolm
<dmalcolm(a)redhat.com> writes:
David> I've gone ahead and created a "Success Stories" page within the
plugin's
David> documentation (docs/success.rst).
David> I took the liberty of adding links to the various bugs we've been
David> finding in gdb - I hope that's OK - I don't want to make it appear that
David> I'm picking on gdb (sorry!), but I did want to capture the benefit of
David> the plugin in one place. We can reword things, of course.
I think it is great.
I also wrote a cleanup checker that is specific to gdb, using your
plugin. This found real bugs in gdb:
http://sourceware.org/ml/gdb-patches/2011-06/msg00408.html
Tom