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

unknown user pushed a change to reference refs/meta/config in repository dejagnu.

was ada857f Modify access rules

This change permanently discards the following revisions:

discards ada857f Modify access rules