Skip to content

Reset history counter even when @loaded_history_lines is not defined #3171

Reset history counter even when @loaded_history_lines is not defined

Reset history counter even when @loaded_history_lines is not defined #3171