[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#60833: [PATCH] sh-script.el: Add support for Zsh's case branches ; |
From: |
Eli Zaretskii |
Subject: |
bug#60833: [PATCH] sh-script.el: Add support for Zsh's case branches ; |. |
Date: |
Mon, 23 Jan 2023 17:16:46 +0200 |
> From: Philippe Altherr <philippe.altherr@gmail.com>
> Date: Mon, 23 Jan 2023 05:13:36 +0100
> Cc: 60833@debbugs.gnu.org
>
> And second, your contributions (this and the other one) are larger
> than we can accept without your assigning the copyright to the FSF.
> Would you like to start your legal paperwork at this time, so that we
> could accept the changes after it is completed? If so, I will send
> you the form to fill.
>
> Sure
Form sent off-list.
(I will review the patch soon.)