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

bug-gnu-emacs

From:	Y . E .
Subject:	bug#52303: [PATCH] Remove not defined face info-menu-5 from manoj-dark theme
Date:	Fri, 10 Dec 2021 12:52:53 +0200

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

I'm glad there's no issue.

Thank you,
YE

Current Thread

[Next in Thread]

bug#52303: [PATCH] Remove not defined face info-menu-5 from manoj-dark theme, Y . E ., 2021/12/05
- bug#52303: [PATCH] Remove not defined face info-menu-5 from manoj-dark theme, Lars Ingebrigtsen, 2021/12/05
  - bug#52303: [PATCH] Remove not defined face info-menu-5 from manoj-dark theme, Y . E ., 2021/12/07
    - bug#52303: [PATCH] Remove not defined face info-menu-5 from manoj-dark theme, Lars Ingebrigtsen, 2021/12/07
    - bug#52303: [PATCH] Remove not defined face info-menu-5 from manoj-dark theme, Y . E ., 2021/12/08
    - bug#52303: [PATCH] Remove not defined face info-menu-5 from manoj-dark theme, Lars Ingebrigtsen, 2021/12/08
    - bug#52303: [PATCH] Remove not defined face info-menu-5 from manoj-dark theme, Y . E ., 2021/12/09
    - bug#52303: [PATCH] Remove not defined face info-menu-5 from manoj-dark theme, Lars Ingebrigtsen, 2021/12/09
    - bug#52303: [PATCH] Remove not defined face info-menu-5 from manoj-dark theme, Y . E . <=