Forwarded: no
Index: webkitgtk/Source/WTF/wtf/Platform.h
===================================================================
---- webkitgtk.orig/Source/WTF/wtf/Platform.h
-+++ webkitgtk/Source/WTF/wtf/Platform.h
-@@ -142,10 +142,12 @@
+--- webkitgtk-2.28.0/Source/WTF/wtf/PlatformCPU.h.orig 2020-02-04 11:24:07.000000000 +0100
++++ webkitgtk-2.28.0/Source/WTF/wtf/PlatformCPU.h 2020-04-12 22:28:20.564373047 +0200
+@@ -107,10 +107,12 @@
/* CPU(X86_64) - AMD64 / Intel64 / x86_64 64-bit */
#if defined(__x86_64__) \
|| defined(_M_X64)