Merge host.loc:/home/uchum/work/4.1-opt
into host.loc:/home/uchum/work/5.0-opt configure.in: Merge with 4.1-opt.
This commit is contained in:
commit
1207c86644
into host.loc:/home/uchum/work/5.0-opt configure.in: Merge with 4.1-opt.