Re: [patch] mode-line faces on 256-color terminals

[Dan Nicolaescu]

Richard Stallman <address@hidden> writes:

  > Could you wait a week for the people who know the most about
  > face issues to comment?  If there has been no criticism in a week,
  > please install it, or else ask me to install it.

Oops, I have already installed it based on Eli's OK.
What should I do, should I revert the patch now? 

Note that the patch only affects the face definitions for mode-line
and mode-line-inactive when running on terminals that support more
than 88 colors, nothing else should be affected.