diff options
| author | Rod Kay | 2022-10-31 16:15:41 +1100 |
|---|---|---|
| committer | Rod Kay | 2022-10-31 16:15:41 +1100 |
| commit | ff6ebbac682e24c5001a4094de0d018d66a4396d (patch) | |
| tree | 13b5a9d17d10ecf4453351edd010ddb6609a0375 /patch-aws-net-websocket-registry.adb | |
| parent | 270ce23d5f429a4ff9aedbde7ae6edb29a7a7730 (diff) | |
| download | aur-ff6ebbac682e24c5001a4094de0d018d66a4396d.tar.gz | |
Update to version 2023.
Diffstat (limited to 'patch-aws-net-websocket-registry.adb')
| -rw-r--r-- | patch-aws-net-websocket-registry.adb | 10 |
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 044d1ef987c4..000000000000 --- 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 |