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