lock_held() docs:  Use True/False instead of 1/0.  The LaTeX docs were
already correct, so not changed here.
1 file changed