[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#52303: [PATCH] Remove not defined face info-menu-5 from manoj-dark t
From: |
Y . E . |
Subject: |
bug#52303: [PATCH] Remove not defined face info-menu-5 from manoj-dark theme |
Date: |
Sun, 05 Dec 2021 19:43:55 +0200 |
Tags: patch
Hello,
The face 'info-menu-5' was obsoleted in favor to 'info-menu-star' back
in 2005 (185cff95450).
This patch suggests removal of the not defined face and not updating it,
because the de facto used 'info-menu-star' default value has served the
theme users during the last years.
A side-question: do I still need to add "Copyright-paperwork-exempt:
yes" to the minor commits even if I have the CA completed?
Thanks,
YE
0001-etc-themes-manoj-dark-theme.el-Remove-not-defined-fa.patch
Description: Text Data
- bug#52303: [PATCH] Remove not defined face info-menu-5 from manoj-dark theme,
Y . E . <=
- 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 ., 2021/12/10