1 2 3 4 5 6 7 8 9 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;