>>>>> "Jeff" == Jeff Sturm <jsturm@one-point.com> writes: Jeff> I'll report it to the autoconf folks. Shall we close this PR? Yes. I'll do that shortly. Tom