Re: Fixing commit dates before pushing
Tom Tromey <[email protected]> Thu, 14 May 2026 13:29:20 -0600
| Newsgroups | gmane.comp.gdb.devel |
|---|---|
| Message-ID | <[email protected]> |
>>>>> "Simon" == Simon Marchi via Gdb <[email protected]> writes: Simon> I must admit that I have never done this myself, so I am not very Simon> attached to this rule. I haven't done it either. I am not sure I ever even knew about it. It seems like a mild pain to do and there doesn't seem to be a real benefit. So let's just drop this. Tom