On 9/10/24 15:15, Pierrick Bouvier wrote:
Signed-off-by: Pierrick Bouvier<[email protected]> --- docs/spin/aio_notify_accept.promela | 6 +++--- docs/spin/aio_notify_bug.promela | 6 +++--- 2 files changed, 6 insertions(+), 6 deletions(-)
Reviewed-by: Richard Henderson <[email protected]> r~
