Robins Tharakan <[email protected]> writes: > Sending in a bug-report for v2.11 - as per the message received on the > console.
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
