bug#13476: 24.3.50; Reverting scroll-bar face customization has no effect

[Mauro Aranda]

Po Lu <luangruo@yahoo.com> writes:

> Mauro Aranda <maurooaranda@gmail.com> writes:
>
>>> So I think the bug lies in Custom (it should reset the value to
>>> "unspecified") and not the declaration of the scroll-bar face.
>>
>> Why do you think it is a bug in Custom?
>
> I assumed it was, but it turned out to not be the case.  A better fix
> was installed on master a few hours ago, please give it a try.  Thanks.

It would have been nice to see the patch posted here.