On Nov 12, 2022, at 09:07, Werner LEMBERG <w...@gnu.org> wrote:

>> 2. Release 2.23.81 without the fix and instead review it properly.
...
> Option 2 is fine with me.

+1
—
 Dan


Reply via email to