This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch PR41585 in repository dejagnu.
at 9533507 Tidy irregular indentation in ChangeLog
This branch includes the following new commits:
new 10191e1 Fix default value of libdir global new 9533507 Tidy irregular indentation in ChangeLog
The 2 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference.