History

Target version changed from Candidate for next bugfix release to Candidate for next minor release

% Done changed from 0 to 100

Many thanks, I have applied the patches. For reference, we fix any errors (types, bugs, omissions) in the branch (now 5.4) and then we merge those to the trunk. So best to make the patch based on the 5.4 branch. For any issues specific to trunk (i.e., problems with new features added after the branch was created) you must diff against the trunk.