Split 'editline/' into commit 'b9aebd1750d435e8588fd602d746ac2374aba471' master
authorIsmaël Bouya <ismael.bouya@normalesup.org>
Thu, 5 Sep 2019 14:42:09 +0000 (16:42 +0200)
committerIsmaël Bouya <ismael.bouya@normalesup.org>
Thu, 5 Sep 2019 14:42:09 +0000 (16:42 +0200)
git-subtree-dir: editline
git-subtree-mainline: 01a331dbe4ba19603f6db4746dae3a2968979d4f
git-subtree-split: b9aebd1750d435e8588fd602d746ac2374aba471


Trivial merge