Follow-up Comment #2, patch #10032 (project findutils):
[comment #1 comment #1:]
> Sounds okay to me.
> I wrapped your diff into a proper Git patch
> (with "Copyright-paperwork-exempt: Yes").
>
> Okay to push in your name?
OK to push. I used `git show` to create this patch -- how should I submit
future patches?
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/patch/?10032>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
