From 2f392f33c9366218c12f283b349b8000edf89e0a Mon Sep 17 00:00:00 2001
From: Peter Hofmann <scm@uninformativ.de>
Date: Sun, 31 Mar 2019 09:23:25 +0200
Subject: No longer use WebKit's deprecated JavaScript API

---
 BUGS | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 BUGS

(limited to 'BUGS')

diff --git a/BUGS b/BUGS
deleted file mode 100644
index 1bf801c..0000000
--- a/BUGS
+++ /dev/null
@@ -1,5 +0,0 @@
-Deprecated JS functions in WebKit
-=================================
-
-'webkit_javascript_result_get_global_context' and
-'webkit_javascript_result_get_value' are deprecated.
-- 
cgit v1.2.3