[Top][All Lists]

[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


reply via email to

[Prev in Thread] Current Thread [Next in Thread]