tree 10189f3c5394eda4c9bbc0d2471595714742eed2
parent e0e7c3e0e1323b905ef1e594ecbf197a46718b76
author gwenn <gtreguier@gmail.com> 1491667998 +0200
committer gwenn <gtreguier@gmail.com> 1491667998 +0200

Fix history-search-backward