[SCM] gawk branch, stable/pma-update, deleted. gawk-4.1.0-5627-g1df8d338

[Arnold Robbins]

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, stable/pma-update has been deleted
       was  1df8d33802b1b5e69c948c75218edede5eb47f0c

-----------------------------------------------------------------------
1df8d33802b1b5e69c948c75218edede5eb47f0c Merge branch 'gawk-5.3-stable' into 
stable/pma-update
-----------------------------------------------------------------------


hooks/post-receive
-- 
gawk