Your message dated Sun, 4 Aug 2024 00:10:56 -0700
with message-id <de2893c2-bbf8-4f02-be79-67e4ce36b3f2@cs.ucla.edu>
and subject line Re: bug#72445: shuf with both input-range and head-count biased
has caused the debbugs.gnu.org bug report #72445,
regarding shuf with both input-range and head-count biased
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
72445: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=72445
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems