gawk-diffs
[Top][All Lists]
Advanced

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

[gawk-diffs] [SCM] gawk branch, feature/api-mpfr, deleted. gawk-4.1.0-27


From: Arnold Robbins
Subject: [gawk-diffs] [SCM] gawk branch, feature/api-mpfr, deleted. gawk-4.1.0-2722-g833b375
Date: Fri, 18 Aug 2017 07:32:41 -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/api-mpfr has been deleted
       was  833b375c19c372f13648e4f88f4177dad7350c5e

-----------------------------------------------------------------------
833b375c19c372f13648e4f88f4177dad7350c5e PO files updated in preparation for 
release.
-----------------------------------------------------------------------


hooks/post-receive
-- 
gawk



reply via email to

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