> Missing ports/ChangeLog.arm entry? Oops! Sorry, I hadn't meant to include the arm change in that commit. But since you don't seem to object, I've just added the log entry rather than reverting it. Thanks, Roland