[cdt-debug-dev] Filing GDB MI bugs

[Elena Zannoni <ezannoni@xxxxxxxxxx>]

Alain, and others

I have created a new gdb bug category for MI, called gdbMI.
Of course, I am referring to the bug database at:
http://sources.redhat.com/cgi-bin/gnatsweb.pl

This way it should be easier to track what's going on with MI.  Right
now there are about 30 open bugs. We (Red Hat) are going through them
and verifying that they are still occurring, since some are quite old.

When you file a new MI bug, please use this category.

Thanks
Elena Zannoni
Red Hat Inc.