|
| From: | Richard Henderson |
| Subject: | Re: [PATCH 01/39] docs/spin: replace assert(0) with g_assert_not_reached() |
| Date: | Tue, 10 Sep 2024 18:36:35 -0700 |
| User-agent: | Mozilla Thunderbird |
On 9/10/24 15:15, Pierrick Bouvier wrote:
Signed-off-by: Pierrick Bouvier<pierrick.bouvier@linaro.org> --- 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 <richard.henderson@linaro.org> r~
| [Prev in Thread] | Current Thread | [Next in Thread] |