K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2012-05-30T21:02:12.243099Z
K 7
svn:log
V 350
- Witness doesn't verify the old MTX_NOSWITCH flag's correctness (that was obsoleted
  when critical sections were added).  Instead, list a check that witness does perform.
- Note that 'show locks' in DDB takes an optional thread argument.
- Document 'show all locks'.
- Remove the BUGS section, the bug in question was fixed 11 years ago in r76272.

END