Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: 58159b64b98348fa32a46830c5888f75807049f1
https://github.com/WebKit/WebKit/commit/58159b64b98348fa32a46830c5888f75807049f1
Author: Diego Pino Garcia <dp...@igalia.com>
Date: 2022-11-10 (Thu, 10 Nov 2022)
Changed paths:
M Source/WebKit/Shared/RTCPacketOptions.h
Log Message:
-----------
[GTK] Unreviewed, non-unified build fix
* Source/WebKit/Shared/RTCPacketOptions.h: Add missing header
'optional'.
Canonical link: https://commits.webkit.org/256525@main
_______________________________________________
webkit-changes mailing list
webkit-changes@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-changes
