[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Dejagnu-commit] [SCM] DejaGNU branch, PR58065, deleted. dejagnu_1_4_3-8
From: |
Jacob Bachmeyer |
Subject: |
[Dejagnu-commit] [SCM] DejaGNU branch, PR58065, deleted. dejagnu_1_4_3-872-gd747eee |
Date: |
Wed, 5 Oct 2022 21:19:47 -0400 (EDT) |
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, PR58065 has been deleted
was d747eee6ec891425846ea9c21819d9c2ea48ed34
-----------------------------------------------------------------------
d747eee6ec891425846ea9c21819d9c2ea48ed34 Buffer test results in case the
pruning callback aborts the test
-----------------------------------------------------------------------
hooks/post-receive
--
DejaGNU
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Dejagnu-commit] [SCM] DejaGNU branch, PR58065, deleted. dejagnu_1_4_3-872-gd747eee,
Jacob Bachmeyer <=