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