gh-123018: Keep the libedit history file header when truncating · python/cpython@9b6d270 · GitHub
Skip to content

gh-123018: Keep the libedit history file header when truncating #295747

gh-123018: Keep the libedit history file header when truncating

gh-123018: Keep the libedit history file header when truncating #295747

Triggered via pull request September 8, 2026 06:35
Status Success
Total duration 19s
Artifacts

require-pr-label.yml

on: pull_request
DO-NOT-MERGE
5s
DO-NOT-MERGE
Unresolved review
6s
Unresolved review
Fit to window
Zoom out
Zoom in

Annotations

1 warning