Re: am i the only person having trouble fetching sat-solver?

Robert P. J. Day

On Fri, 28 Oct 2011, Joshua Lock wrote:

Probably that a stale tarball was still on your system. Can you tell me
how you're proceeding when the fetch has failed?
i'm guessing it was exactly that -- a stale tarball i didn't realize
i was picking up. since now i can't reproduce so i'm going to forget
about it unless it happens again.


shall i submit a patch to the mailing list?
Please do, that'd be great.
coming shortly.


Join to automatically receive all group messages.