chiark / gitweb /
merge new features and fixes from development branch
authorIan Jackson <ian@davenant.greenend.org.uk>
Tue, 3 Jul 2007 14:00:21 +0000 (15:00 +0100)
committerIan Jackson <ian@davenant.greenend.org.uk>
Tue, 3 Jul 2007 14:00:21 +0000 (15:00 +0100)

Trivial merge