Skip to content

extras: tools: bump autoconf to 2.72

See release note1 for more info, but mainly a bug-fixing release.

  1. https://lists.gnu.org/archive/html/autotools-announce/2023-12/msg00003.html.

Merge request reports