Jürgen Spitzmüller wrote:
As you might have noted, my holidays are over :-(
I just went through almost 2000 messages from the last 3 weeks and I still
have to go through the commit logs. I have marked things that look relevant
to branch and I will return to them bit by bit. Please be patient, it might
take some time.
Possibly I've overlooked something. Please just remind me about everything
that needs attention wrt 1.5.2.
You've probably seen the list Martin put together. If not, it's in the
archives.
Richard
--
==================================================================
Richard G Heck, Jr
Professor of Philosophy
Brown University
http://frege.brown.edu/heck/
==================================================================
Get my public key from http://sks.keyserver.penguin.de
Hash: 0x1DE91F1E66FFBDEC
Learn how to sign your email using Thunderbird and GnuPG at:
http://dudu.dyn.2-h.org/nist/gpg-enigmail-howto