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

Re: [creduce-bugs] pass got stuck



David Monniaux <david.monniaux@univ-grenoble-alpes.fr> writes:

> Thank you again for making creduce available, which has been a great help in
> the Chamois project.

Thank you for letting us know!

> I've encountered a bug, and creduce suggested that I mail some tarball to
> you, so I do it. ;)

Thank you for your bug report!

This is just a quick reply to say that we received your report, and to tell you
that I've whitelisted your email address for the creduce-bugs mailing list.
This means that any future bug reports from you will not need to be moderated.

Thanks again ---

Eric.

-- 
-------------------------------------------------------------------------------
Eric Eide <eeide@cs.utah.edu>  . University of Utah Kahlert School of Computing
https://www.cs.utah.edu/~eeide/ . +1 801-585-5512  .  Salt Lake City, Utah, USA