This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository dejagnu.
from 9533507 Tidy irregular indentation in ChangeLog adds 6a5b586 Show the user's login name shortly after finding it adds 205b285 Fix problems with relative srcdir in testsuite/runtest.main/o [...] adds d37c15b Fix problems with relative srcdir in launcher and report-card [...]
No new revisions were added by this update.
Summary of changes: ChangeLog | 10 ++++++++++ runtest.exp | 4 ++-- testsuite/lib/launcher.exp | 3 ++- testsuite/lib/report-card.exp | 3 ++- testsuite/runtest.main/options.exp | 2 +- 5 files changed, 17 insertions(+), 5 deletions(-)