David Monniaux <[email protected]> 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 <[email protected]> . University of Utah Kahlert School of Computing https://www.cs.utah.edu/~eeide/ . +1 801-585-5512 . Salt Lake City, Utah, USA
