Re: patch x11/jgmenu jgmenu_run

On 2020/09/08 19:25, Uwe Werler wrote:
> Hi all,
>
> this changes jgmenu_run to use pkill instead of killall and avoids therefore
> starting multiple instances of jgmenu when invoked by jgmenu_run e.g. via
> tint2 and speeds up jgmenu notable.

thanks, committed (with bump).