Subject: Re: bug#47109: eldoc.el: Allow custom separator between documentations in the echo area

From: Lars Ingebrigtsen <[email-masked]>
Date: Mon, 17 May 2021 17:37:58 +0200

I have no comment on this patch, but I note that bug#44885 seems to deal
with similar issues (i.e., custom eldoc separators, if I skimmed that
bug report correctly).  

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no