diff options
author | Rod Kay | 2022-05-17 17:11:45 +1000 |
---|---|---|
committer | Rod Kay | 2022-05-17 17:11:45 +1000 |
commit | 9bd3c8d5ddc29621bd5b904c2a732881a5715b57 (patch) | |
tree | 57d910c696e700fb3e6ac32c6bf69e77cc1d19c5 /patch-aws-net-websocket-registry.adb | |
parent | 91c80fc34dc5509cb9f2bbcac973c5f03368ee17 (diff) | |
download | aur-9bd3c8d5ddc29621bd5b904c2a732881a5715b57.tar.gz |
Update to version 2022.
Diffstat (limited to 'patch-aws-net-websocket-registry.adb')
-rw-r--r-- | patch-aws-net-websocket-registry.adb | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/patch-aws-net-websocket-registry.adb b/patch-aws-net-websocket-registry.adb new file mode 100644 index 000000000000..044d1ef987c4 --- /dev/null +++ b/patch-aws-net-websocket-registry.adb @@ -0,0 +1,10 @@ +--- ./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 |