Subject: bug#13752: Suggestions regarding the minibuffer

From: Lars Ingebrigtsen <[email-masked]>
Date: Sun, 06 Jun 2021 11:17:57 +0200

Juri Linkov <[email-masked]> writes:

>> But that bug report is also about blinking the cursor, which is a
>> separate issue.
>
> Long ago I already pushed the patch that handles the blinking cursor
> in 81588748bd85827468e297d3e44a72844438e807.

Oops; didn't notice.  Yes, then I think 42865 can be closed, so I'm
doing that now.

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