Errr, sorry about that! I sent a test message to gdb@gcc.gnu.org (which turns into gdb@sources.redhat.com) rather than gdb@gnu.org (which is the list having mailman problems). Michael C too tired