729
729
This generates a warning but no other user interaction.
733
731
# This is off by default at present; see the discussion in the bug.
734
732
# If you change the default, don't forget to update the docs.
735
733
config.GlobalConfig().set_user_option('locks.steal_dead', True)