Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: 9c21df951f6109ccdf9f86620c6ad76e4a07946f
https://github.com/WebKit/WebKit/commit/9c21df951f6109ccdf9f86620c6ad76e4a07946f
Author: Alexey Proskuryakov <[email protected]>
Date: 2023-05-26 (Fri, 26 May 2023)
Changed paths:
M Source/WebKit/Scripts/generate-serializers.py
Log Message:
-----------
rdar://109697000 (`Scripts/generate-serializers.py` produces
non-deterministic outputs)
Reviewed by Sihui Liu and Elliott Williams.
Patch by Argyrios Kyrtzidis.
* Source/WebKit/Scripts/generate-serializers.py:
(ConditionalHeader.__lt__):
(ConditionalHeader.__lt__.condition_str):
Canonical link: https://commits.webkit.org/264604@main
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes
