Date: Thu, 8 Aug 2019 18:43:19 +0200
From: Ergus <address@hidden>
Cc: martin rudalics <address@hidden>, address@hidden
So finally what's the agreement about this? Does Eli (or anyone) have
the time to implement it?? (else I can try with some hints of
course). Can we add maybe a deadline to decide? I'm just wondering that
this can be forgotten like the discussion in Bug#23574 if nobody starts
working on it.
We were talking about it for only a single day. We should let others
chime in, so let's wait for a few days.
I am specially concerned about this because org-mode behavior in
terminal affects many users.
How is Org mode relevant to this issue? I think this is the first
time Org mode is mentioned in this context.