• Suraj Kumar's avatar
    remove deprecated remove_prefix to clear era_info (#13460) · 2c684e4d
    Suraj Kumar authored
    * remove deprecated remove_prefix to clear era_info
    
    * add debug assertions to check that the returned cursor is None
    
    * add a variable to hold the cursor
    
    * ".git/.scripts/commands/fmt/fmt.sh"
    
    ---------
    
    Co-authored-by: command-bot <>
    2c684e4d