Gary Benson wrote:
When Zero is running with Shark enabled threads can be left with
their _do_not_unlock_if_synchronized flag incorrectly set. This
flag is unnecessary in Zero, and should have been removed as part
of the fix for 6908267 but sadly I missed it!
I don't have a bug id for this.