This is an automated email from the git hooks/post-receive script.

unknown user pushed a change to branch christophe-trailing-eof in repository dejagnu.

was 7684cce * lib/remote.exp (local_exec): Call exp_continue until eof i [...]

This change permanently discards the following revisions:

discards 7684cce * lib/remote.exp (local_exec): Call exp_continue until eof i [...]