[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[SCM] gawk branch, feature/gnulib-pcc, deleted. gawk-4.1.0-5072-g533feb5

From: Arnold Robbins
Subject: [SCM] gawk branch, feature/gnulib-pcc, deleted. gawk-4.1.0-5072-g533feb5c
Date: Fri, 30 Jun 2023 04:05:36 -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 "gawk".

The branch, feature/gnulib-pcc has been deleted
       was  533feb5cb4a22dc34ffebf1c34d9bbf7c079bb6a

533feb5cb4a22dc34ffebf1c34d9bbf7c079bb6a Forgot to add a file.


reply via email to

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