[Top][All Lists]

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

Re: [PATCH] Add abbrev suggestions

From: Mathias Dahl
Subject: Re: [PATCH] Add abbrev suggestions
Date: Fri, 18 Sep 2020 10:40:39 +0200

On Tue, Sep 15, 2020 at 10:16 AM Robert Pluim <rpluim@gmail.com> wrote:
>>>>> On Tue, 15 Sep 2020 00:04:05 +0200, Mathias Dahl <mathias.dahl@gmail.com> said:

Nitpicking below. Nothing major, it looks to be a useful feature.

Hi Robert, thanks for this! I will review your suggestions and incorporate the ones I like :)

reply via email to

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