[webkit-changes] [WebKit/WebKit] 8fdedc: Unreviewed. Update OptionsGTK.cmake and NEWS for 2...

[Carlos Garcia Campos]

  Branch: refs/heads/webkitglib/2.42
  Home:   https://github.com/WebKit/WebKit
  Commit: 8fdedccfa661bbed13f9522cff38c0cbc8772c72
      https://github.com/WebKit/WebKit/commit/8fdedccfa661bbed13f9522cff38c0cbc8772c72
  Author: Carlos Garcia Campos <cgarcia at igalia.com>
  Date:   2023-11-10 (Fri, 10 Nov 2023)

  Changed paths:
    M Source/WebKit/gtk/NEWS
    M Source/cmake/OptionsGTK.cmake

  Log Message:
  -----------
  Unreviewed. Update OptionsGTK.cmake and NEWS for 2.42.2 release

* Source/WebKit/gtk/NEWS: Add release notes for 2.42.2.
* Source/cmake/OptionsGTK.cmake: Bump version numbers.