I see I've inadvertently created two bug reports for the same issue, #72567 and #72568.
Also, the patch I submitted doesn't mention a bug number. I presume you can resolve that on your end, but let me know if there's anything I need to do. On Sat, Aug 10, 2024 at 8:08 PM GNU bug Tracking System <help-debb...@gnu.org> wrote: > > Thank you for filing a new bug report with debbugs.gnu.org. > > This is an automatically generated reply to let you know your message > has been received. > > Your message is being forwarded to the package maintainers and other > interested parties for their attention; they will reply in due course. > > Your message has been sent to the package maintainer(s): > bug-coreutils@gnu.org > > If you wish to submit further information on this problem, please > send it to 72...@debbugs.gnu.org. > > Please do not send mail to help-debb...@gnu.org unless you wish > to report a problem with the Bug-tracking system. > > -- > 72568: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=72568 > GNU Bug Tracking System > Contact help-debb...@gnu.org with problems
