]> Savannah Git Hosting - gnulib.git/commit
maint: avoid unportable ERE \}
authorPaul Eggert <eggert@cs.ucla.edu>
Sun, 11 Sep 2022 21:45:27 +0000 (16:45 -0500)
committerPaul Eggert <eggert@cs.ucla.edu>
Sun, 11 Sep 2022 22:57:25 +0000 (17:57 -0500)
commitf346337dd2899f888dc54e00add233032d7b9a76
tree9eae74b0822de50b73b697f2e1d29fd71eb7e838
parentd0ed95b9ff1c8087c9e18f0226ab89823cfebbe3
maint: avoid unportable ERE \}

* top/maint.mk (sc_copyright_check):
Avoid unportable use of \} in ERE.
ChangeLog
top/maint.mk