Dear Tobias, Please excuse the delay on coming back to you with this. Since the power cut the other evening, I have been exceptionally busy.
> Build and regtested on x86-64-linux. > OK for the trunk? I have to confess that I do not like /* A better error message may be possible, but not required. */ one little bit. Either write the better message or eliminate the comment. I would vote for the latter :-) Other than that, it looks fine: OK for trunk Thanks Paul
