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

From: Lars Ingebrigtsen <[email-masked]>
Date: Fri, 10 Dec 2021 01:35:59 +0100

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

> Yes, it seemed so to me: the two lines of the commit message saying
> basically the same thing. If it's correct, then what purpose does it
> serve?

The first is the summary line, and the rest is the ChangeLog style text.

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