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

Re: [creduce-dev] Close to New C-Reduce Release

Eric Eide <eeide@cs.utah.edu> writes:

> At the moment I'm waiting to hear back from Christian Schreiner.  Yesterday
> he told me that he had a patch to offer.  Christian, can you submit that
> today?  As we discussed, either a patch or a pull request is fine.

Patch submitted; I tweaked it a little and pushed it up.



Eric Eide <eeide@cs.utah.edu>  .         University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX