geiser-users
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] Use delete-char instead of delete-backward-char.


From: Jose A. Ortega Ruiz
Subject: Re: [PATCH] Use delete-char instead of delete-backward-char.
Date: Sat, 23 Sep 2023 01:22:20 +0100
User-agent: Gnus/5.13 (Gnus v5.13)

On Fri, Sep 22 2023, Antero Mejr wrote:

> Fixes bytecode compiler complaint for geiser-repl-superparen-mode.

merged, thanks!

cheers,
jao
-- 
A ship in port is safe; but that is not what ships are built
for. -Grace Hopper (1906-1992)



reply via email to

[Prev in Thread] Current Thread [Next in Thread]