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