]> git.ipfire.org Git - thirdparty/readline.git/commit
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)
commit7a1fb478f4260f31ea96f552ccaccd52980919ef
tree5be2a56e328f6674240a447e3e09b2a841ef0623
parented09eb710744d2590981a8ac91001c466af933a3
parent158dea294e3000d80ae275eb8dcfa4d1cef61b61
Merge branch 'devel' of git.sv.gnu.org:/srv/git/readline into devel

It looks like I missed a pull after a push from another machine.