I can confirm that the patch worked:

 Thanks, execline-2.9.5.1 is out now.

--
 Laurent

Reply via email to