autoconf: update

This commit is contained in:
Paul Eggert
2017-09-16 20:51:01 -07:00
parent 1ee41a50d9
commit d855f6c806