From 0281d7a35372198adb25c8f5a57d956d4bfb7ad9 Mon Sep 17 00:00:00 2001 From: lytico Date: Tue, 20 Jul 2021 03:24:47 +0200 Subject: [PATCH] WebkitGtkSharp: fix some symbols --- .../WebkitGtkSharp/WebkitGtkSharp-api.xml | 16 +++++----- .../WebkitGtkSharp/WebkitGtkSharp-symbols.xml | 29 +++++++++++++++++++ 2 files changed, 37 insertions(+), 8 deletions(-) create mode 100644 Source/Libs/WebkitGtkSharp/WebkitGtkSharp-symbols.xml diff --git a/Source/Libs/WebkitGtkSharp/WebkitGtkSharp-api.xml b/Source/Libs/WebkitGtkSharp/WebkitGtkSharp-api.xml index b6feeeeb6..4da65c0f1 100644 --- a/Source/Libs/WebkitGtkSharp/WebkitGtkSharp-api.xml +++ b/Source/Libs/WebkitGtkSharp/WebkitGtkSharp-api.xml @@ -4233,10 +4233,10 @@