bug#47047: 28.0.50; 'help-key-binding' face's background sub-optimal

[Lars Ingebrigtsen]

Stefan Kangas <stefan@marxist.se> writes:

>> You're free to delete light-blue-theme, if you like.
>> I don't use it, myself, and I won't miss it.
>
> Any other opinions about this part?
>
> I'm leaning towards just deleting it given the above.

Do we have some mechanism to deprecate a theme?  If it's just deleted,
will that lead to breakage if a user has selected the theme?

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no