log lib/libedit/libedit.sh @ 1341:9f35c15329d1 default tip @

age author description
Thu, 11 Nov 2021 13:01:01 +0100 David Demelier lib/libedit: upgrade to 20210910-3.1