On 2023/04/09 08:28, Laurent Cheylus wrote:
> I removed patches/patch-shell_completion_bash (no more necessary with fix
> upstream, see my first message), not included in my CVS diff.

cvs rm [...]
cvs di -uNp

Reply via email to