doc: add added: information for readline - #6996
Closed
julianduque wants to merge 1 commit into
Closed
julianduque wants to merge 1 commit into
julianduque wants to merge 1 commit into
added: information for readline - #6996