Your message dated Sun, 16 Feb 2025 11:04:08 +0100 with message-id <87o6z2qk87.fsf@gmx.de> and subject line Re: bug#75308: 30.0.93; man.el assume shell is bash has caused the debbugs.gnu.org bug report #75308, regarding 30.0.93; man.el assume shell is bash to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 75308: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=75308 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems