On 9/11/08, Oliver Kullmann <O.Kullmann at swansea.ac.uk> wrote: > Yet it seems that modification was not done? (Can't find it.) Indeed it was. cvs update -r RELEASE-5_16-BRANCH should fetch it. (As will cvs update -A -- it is on the branch and the trunk.) Robert Dodier