Re: [PATCH 01/39] docs/spin: replace assert(0) with g_assert_not_reached()

[Richard Henderson]

On 9/10/24 15:15, Pierrick Bouvier wrote:

Signed-off-by: Pierrick Bouvier<pierrick.bouv...@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.hender...@linaro.org>

r~