gvvaughan maint: sync luke with upstream.
37a9e51 Jan 31, 2023
maint: sync luke with upstream.
* build-aux/luke: Sync with upstream.
* NEWS.md (Bugs Fixed): Update.

Signed-off-by: Gary V. Vaughan <gary@gnu.org>
37a9e51