Subject: bug#52303: [PATCH] Remove not defined face info-menu-5 from manoj-dark theme

From: Lars Ingebrigtsen <[email-masked]>
Date: Tue, 07 Dec 2021 21:23:45 +0100

Y. E. <[email-masked]> writes:

> The pushed commit message caught my attention: it seems both the
> suggested commit message and the corrected one got into.
>
> See d3d8a6ccda7, and also 0d8e9588e1c, 6620d03e334.

Sorry, I don't understand what you mean here.

Is there something that should be changed?  If so, can you suggest a
patch to do so?

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