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, PR41824 has been updated
via 38e913f57bc7be0b83888fb5c5662c29d5060c26 (commit)
via e7f39bc6b766f71d503d5ba010aab8a8512d04e9 (commit)
from 6cb7c4390f87a46682e1484317d2b320b037b9a9 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 38e913f57bc7be0b83888fb5c5662c29d5060c26
Merge: 6cb7c43 e7f39bc
Author: Jacob Bachmeyer <jcb62281+...@gmail.com>
Date: Wed Jun 17 21:46:01 2020 -0500
Merge branch 'pr41914' into 'PR41824'
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 5 +++++
lib/framework.exp | 1 +
2 files changed, 6 insertions(+)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
