|
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
[Prev in Thread] | Current Thread | [Next in Thread] |