[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#28033: [PATCH] Add new face 'header-line-highlight'
|
From: |
Eli Zaretskii |
|
Subject: |
bug#28033: [PATCH] Add new face 'header-line-highlight' |
|
Date: |
Sun, 13 Aug 2017 17:59:08 +0300 |
> Date: Sun, 13 Aug 2017 17:27:04 +0300
> From: Eli Zaretskii <eliz@gnu.org>
> Cc: 28033@debbugs.gnu.org
>
> > P.S. I happened upon two more places to add this face to. Would you
> > please push this as well?
>
> Will do, thanks.
Done.
Once again, please always mention the bug number on the log message.
- bug#28033: [PATCH] Add new face 'header-line-highlight', Alex, 2017/08/09
- bug#28033: [PATCH] Add new face 'header-line-highlight', Eli Zaretskii, 2017/08/10
- bug#28033: [PATCH] Add new face 'header-line-highlight', Alex, 2017/08/10
- bug#28033: [PATCH] Add new face 'header-line-highlight', Eli Zaretskii, 2017/08/11
- bug#28033: [PATCH] Add new face 'header-line-highlight', Alex, 2017/08/11
- bug#28033: [PATCH] Add new face 'header-line-highlight', Eli Zaretskii, 2017/08/12
- bug#28033: [PATCH] Add new face 'header-line-highlight', Alex, 2017/08/12
- bug#28033: [PATCH] Add new face 'header-line-highlight', Eli Zaretskii, 2017/08/13
- bug#28033: [PATCH] Add new face 'header-line-highlight',
Eli Zaretskii <=