Thanks Paolo, Mark > Unfortunately not. I used to maintain such a branch but it was too > much work. There is a list of bug fixed in Doc/release-notes. -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.