[Tcwg-commits] [dejagnu] branch master updated (5405dc0 -> 9533507)

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

unknown user pushed a change to branch master in repository dejagnu.

from 5405dc0 Fix node duplicated by merge error in dejagnu.texi adds 10191e1 Fix default value of libdir global adds 9533507 Tidy irregular indentation in ChangeLog

No new revisions were added by this update.

Summary of changes: ChangeLog | 71 +++++++++++++++++++++++++++++++++---------------------------- runtest.exp | 5 ++++- 2 files changed, 43 insertions(+), 33 deletions(-)