Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

Re: Valgrind warning from vared -c



On Fri, Mar 31, 2023 at 1:21 AM Jun T <takimoto-j@xxxxxxxxxxxxxxxxx> wrote:
>
> Has anyone tested this patch? Is it OK to push this?

I've been traveling the last 2 weeks so more disengaged than recently.

The patch seems fine, yes it may be pushed.




Messages sorted by: Reverse Date, Date, Thread, Author