This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "DejaGNU".
The branch, master has been updated
via 9ca4847c3ff411d883cbd6448dff93516a87dab9 (commit)
from 93f2fec5947c3e4ff764
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "DejaGNU".
The branch, master has been updated
via ae7ff712a3998bca31791de8f954ba4f6a0db90b (commit)
from 9ca4847c3ff411d883cb
