[webkit-changes] [WebKit/WebKit] a6bfe0: Cherry-pick 266736 at main (241927320742). https://bu...

[Stephan Szabo]

  Branch: refs/heads/webkitglib/2.42
  Home:   https://github.com/WebKit/WebKit
  Commit: a6bfe0fc626d853651f40a5d9ea387fbad230a5e
      https://github.com/WebKit/WebKit/commit/a6bfe0fc626d853651f40a5d9ea387fbad230a5e
  Author: Stephan Szabo <stephan.szabo at sony.com>
  Date:   2023-08-19 (Sat, 19 Aug 2023)

  Changed paths:
    M Source/WebCore/rendering/style/RenderStyle.h

  Log Message:
  -----------
  Cherry-pick 266736 at main (241927320742). https://bugs.webkit.org/show_bug.cgi?id=259986

    [PlayStation] Fix build after 266683 at main
    https://bugs.webkit.org/show_bug.cgi?id=259986

    Unreviewed build fix

    Add header needed to get OptionSet.

    * Source/WebCore/rendering/style/RenderStyle.h:

    Canonical link: https://commits.webkit.org/266736@main