Skip to content

Revert "Remove GNU Readline in favor of libedit (#3745)" #9194

Revert "Remove GNU Readline in favor of libedit (#3745)"

Revert "Remove GNU Readline in favor of libedit (#3745)" #9194

Triggered via push November 15, 2024 17:50
Status Success
Total duration 31s
Artifacts 1

integrate.yaml

on: push
Matrix: Build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
.manual.xml
4.1 MB