On 7/28/23 15:11, Joseph Myers wrote:
I fixed the whitespace errors in the patch as well as a couple minor ChangeLog entry items and pushed Costas's patch to the trunk.This patch is OK.
jeff
On 7/28/23 15:11, Joseph Myers wrote:
I fixed the whitespace errors in the patch as well as a couple minor ChangeLog entry items and pushed Costas's patch to the trunk.This patch is OK.
jeff