Unhandled

Jump to bottom

devlaam edited this page May 31, 2023 · 4 revisions

Unhandled messages

Discus unhandled messages due to

refusal (stopped/full)
premature end (still in mailbox or on stash)
unmatched type (this should not happen)

$\textcolor{red}{\mbox{\scriptsize{}TO BE COMPLETED}}$