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

Re: [creduce-bugs] Bug report

Hi Christoph,

I couldn't reproduce it with the current Git head. I think the issue has been fixed. Thanks for the report!

- Yang

On 01/26/2018 07:23 AM, Christoph Weiss wrote:

Attached you can find a bug that we ran into.

Thanks for the great software!