Subject: Re: bug#60833: Acknowledgement ([PATCH] sh-script.el: Add support for Zsh's case branches ;|.)

From: Philippe Altherr <[email-masked]>
Date: Fri, 17 Feb 2023 16:20:59 +0100

Here is an updated patch against the current master branch.

On Sun, Jan 15, 2023 at 3:14 PM GNU bug Tracking System <
[email-masked]> 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):
>  [email-masked]
>
> If you wish to submit further information on this problem, please
> send it to [email-masked].
>
> Please do not send mail to [email-masked] unless you wish
> to report a problem with the Bug-tracking system.
>
> --
> 60833: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=60833
> GNU Bug Tracking System
> Contact [email-masked] with problems
>