[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]


From: Tom Tromey
Subject: Re: EXTRA_DIST =
Date: 01 Jul 2001 10:27:03 -0600

>>>>> "Bruce" == Bruce Korb <address@hidden> writes:

Bruce> Why is this now necessary?  It did not used to be.  Is this
Bruce> intended?  Is there an "upgrading README" file kicking around?

It is probably a newly introduced bug.
You don't mention what version you are using though.
Could you submit a full bug report?
That would include the version number, preferably a short example, and
an explanation of what you expected and what actually happened.
Generally speaking the platform is not important.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]