Wip readline rafaelmartins#131

Open

rafaelmartins wants to merge 9 commits intowip-readlinefrom

wip-readline-rafaelmartins

Commits on Dec 22, 2023

fix build with editline. other minor fixes
Rafael Martins
committed
fix no readline/editline build
Rafael Martins
committed
disable aggregate_check
Rafael Martins
committed
fix windows build
Rafael Martins
committed

Commits on Jan 3, 2024

bump build number for default builds
Rafael Martins
committed
upload without merge to norl channel
Rafael Martins
committed
fix build numbers
Rafael Martins
committed

Commits on Jan 8, 2024

priority: readline > editline > none
Rafael Martins
committed

Commits on Jan 9, 2024

bump build number
Rafael Martins
committed