
12 Oct
2007
12 Oct
'07
11:10 a.m.
On Friday 12 October 2007 09:58:35 Devin Mullins wrote:
Thanks for posting the Haddock, Andrea. I was too lazy to look into generating that, so this helped find a couple of doc issues.
Fri Oct 12 10:54:47 EDT 2007 Devin Mullins
* haddock improvement
This patch has conflicts with the latest patches in the repo, can you record and send a new patch?