This patch fixes a few grammatical errors, removes some duplicate
entries, and attributes some JDBC changes to the right people.
Please apply for 7.3.
Cheers,
Neil
P.S. Rather than updating HISTORY in one go before we make a release,
what does everyone think of the idea of updating HISTORY whenver a
patch that makes a user-visible change is committed?
--
Neil Conway <neilc(at)samurai(dot)com> || PGP Key ID: DB3C29FC