gh-123018: Keep the libedit history file header when truncating · python/cpython@9ac2d9c

Triggered via pull request September 8, 2026 04:58

gpshead

labeled #157165

Status Success

Total duration 26s

Artifacts –

require-pr-label.yml

on: pull_request

1 warning

Label error. Requires exactly 1 of: type-feature. Found: awaiting core review, needs backport to 3.13, needs backport to 3.14, needs backport to 3.15