[darcs-devel] [patch2095] Last changes for 2.16

[Ben Franksen]

Ben Franksen <ben.franksen at online.de> added the comment:

Ganesh, could you take a look over these patches to see if I have 
missed anything obvious? I think we are ready to go for the release 
after these have been pushed.

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch2095>
__________________________________