]> git.ipfire.org Git - thirdparty/autoconf.git/commitdiff
Merge branch 'branch-2.70' into master
authorPaul Eggert <eggert@cs.ucla.edu>
Sun, 13 Dec 2020 00:10:28 +0000 (16:10 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Sun, 13 Dec 2020 00:10:28 +0000 (16:10 -0800)

Trivial merge