Your message dated Tue, 11 Feb 2025 17:17:51 +0200 with message-id and subject line Re: bug#76105: bash_completion.sh: line 10: shopt: progcomp: invalid shell option name has caused the debbugs.gnu.org bug report #76105, regarding bash_completion.sh: line 10: shopt: progcomp: invalid shell option name to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 76105: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=76105 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems