For reference, attached are the raw differences between gdb-5.0.93 (the first one, not the second one) and gdb-5.0.94. Given I've foobar'd this, I'll leave rolling out 5.1 for an extra 24 hours (as was pointed out privately, it is otherwize not exactly fair). That makes it something like 2001-11-21 00:01 GMT. I've also edited my release notes to mention that each mini-release should also include a set of diffs. Hmm, yes, I'll submit a gdbint.texinfo patch. Andrew