Change Details

> They only make sense for mutexes that are private members. Until cs_main is a private member the negative annotations should be replaced by excluded annotations, which are optional. This is a backport of core#21598

> They only make sense for mutexes that are private members. Until cs_main is a private member the negative annotations should be replaced by excluded annotations, which are optional. This is a backport of [[https://github.com/bitcoin/bitcoin/pull/21598 | core#21598]]

> They only make sense for mutexes that are private members. Until cs_main is a private member the negative annotations should be replaced by excluded annotations, which are optional. This is a backport of [[https://github.com/bitcoin/bitcoin/pull/21598 | core#21598]]