summarylogtreecommitdiffstats
path: root/patch-aws-net-websocket-registry.adb
diff options
context:
space:
mode:
Diffstat (limited to 'patch-aws-net-websocket-registry.adb')
-rw-r--r--patch-aws-net-websocket-registry.adb10
1 files changed, 0 insertions, 10 deletions
diff --git a/patch-aws-net-websocket-registry.adb b/patch-aws-net-websocket-registry.adb
deleted file mode 100644
index 044d1ef987c..00000000000
--- a/patch-aws-net-websocket-registry.adb
+++ /dev/null
@@ -1,10 +0,0 @@
---- ./src/core/aws-net-websocket-registry.adb 2021-10-07 03:24:29.000000000 +1100
-+++ ./src/core/aws-net-websocket-registry.adb-new 2022-05-17 16:39:54.204553977 +1000
-@@ -46,7 +46,6 @@
- with AWS.Net.Memory;
- with AWS.Net.Poll_Events;
- with AWS.Net.Std;
--with AWS.Net.WebSocket;
- with AWS.Utils;
-
- package body AWS.Net.WebSocket.Registry is