Hi again,
On Fri, Jun 29, 2018 at 6:07 PM, Christoph M. Becker wrote:
> On 29.06.2018 at 16:54, Andrey Andreev wrote:
>
>> On Fri, Jun 29, 2018 at 9:39 AM, Stanislav Malyshev
>> wrote:
>>>
Readline is the only extension in your list that I would be sad about
losing. I use it every day
On 29.06.2018 at 16:54, Andrey Andreev wrote:
> On Fri, Jun 29, 2018 at 9:39 AM, Stanislav Malyshev
> wrote:
>>
>>> Readline is the only extension in your list that I would be sad about
>>> losing. I use it every day, I guess a lot of devs do.
>>
>> It's not "losing", per se, as the code doesn't
