New commits: commit 7eac6384e1a2c1b5d3a3260eddaa2aeb1a1044ab Author: Andrew Cagney <cagney at gnu.org> Date: Fri Oct 28 12:16:18 2022 -0400 building: @FINAL...@ -> @@...@@ - drop FINAL prefix from substitutions - use double-@ as in @@...@@ following GNU configure's convention