]> git.ipfire.org Git - thirdparty/readline.git/commitdiff
projects / thirdparty / readline.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: ed09eb7 158dea2)
Merge branch 'devel' of git.sv.gnu.org:/srv/git/readline into devel
authorChet Ramey <chet.ramey@case.edu>
Tue, 19 Jan 2021 22:17:52 +0000 (17:17 -0500)
committerChet Ramey <chet.ramey@case.edu>
Tue, 19 Jan 2021 22:17:52 +0000 (17:17 -0500)
It looks like I missed a pull after a push from another machine.


Trivial merge
Mirror of https://git.savannah.gnu.org/git/readline.git