diff options
Diffstat (limited to 'patch-aws-dispatchers-callback.ads')
| -rw-r--r-- | patch-aws-dispatchers-callback.ads | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/patch-aws-dispatchers-callback.ads b/patch-aws-dispatchers-callback.ads new file mode 100644 index 000000000000..a1a02167d9d6 --- /dev/null +++ b/patch-aws-dispatchers-callback.ads @@ -0,0 +1,10 @@ +--- ./src/core/aws-dispatchers-callback.ads 2021-10-07 03:24:29.000000000 +1100 ++++ ./src/core/aws-dispatchers-callback.ads-new 2022-05-17 16:23:24.691206335 +1000 +@@ -31,7 +31,6 @@ + + -- Dispatch on a Callback procedure + +-with AWS.Dispatchers; + with AWS.Response; + with AWS.Status; + |