Subject: bug#28033: [PATCH] Add new face 'header-line-highlight'

From: Eli Zaretskii <[email-masked]>
Date: Sun, 13 Aug 2017 17:59:08 +0300

> Date: Sun, 13 Aug 2017 17:27:04 +0300
> From: Eli Zaretskii <[email-masked]>
> Cc: [email-masked]
> 
> > 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.