tree 7286b3469e52b5c99a8377310e8b9563607633a9
parent ce9e047f6af835ba3a1dceeef389713e1b420c54
author David Chisnall <github@theravensnest.org> 1734527187 +0000
committer Nathaniel Wesley Filardo <VP331RHQ115POU58JFRLKB7OPA0L18E3@cmx.ietfng.org> 1734529106 -0500

Fix a bug in thread exits.

The priority map was not updated so if the highest-priority thread
exited then the next thread would not become runnable.