[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [csmith-bugs] likely bad code
I have hoped it could save me from double records: one to the commit
message, one to the mailing list (bug reporter). But that's not the case. I
still have to enter an revision# then manually close the "issue".
But we should formalize the bug reporting process in any case. It probably
takes the same amount of typing as email exchanges, but the process becomes
> > Maybe we should start using the issue tracker at GitHub. What do you
> > think about that?
> It's up to Xuejun.
> I don't see a pressing need.