Update autoconf scripts

Authored by bgamari on Apr 24 2019, 12:10 PM.

Description

Update autoconf scripts

Scripts taken from autoconf a8d79c3130da83c7cacd6fee31b9acc53799c406

Details

Committed
bgamariApr 24 2019, 12:28 PM
Parents
rGHC41aa52767a1f: Give it a three-component version number
Branches
Unknown
Tags
Unknown
References
tag: ghc-8.8.1-alpha1