Closed jmroot closed 1 year ago
Closes #82.
Note that I haven't regenerated configure in this commit because I have a newer version of autoconf than was used previously, so there would be a lot of unrelated changes in the diff.
Thanks a lot @jmroot - this looks good and I'll merge it quickly and then recreate configure, as it anyway needs an update.
Closes #82.
Note that I haven't regenerated configure in this commit because I have a newer version of autoconf than was used previously, so there would be a lot of unrelated changes in the diff.