commit | 8944c16c38553d26b46d270b33676db96b0b8ded | [log] [tgz] |
---|---|---|
author | gwenn <gtreguier@gmail.com> | Fri Sep 14 05:44:36 2018 +0200 |
committer | GitHub <noreply@github.com> | Fri Sep 14 05:44:36 2018 +0200 |
tree | a67daa03b231443faabe74b88f60d1d10894b136 | |
parent | 851af7ea3fe99a87b78f7c31fe1679a20f5298e6 [diff] | |
parent | 852a6f272fa50e20740da43abf79ec6552babe5b [diff] |
Merge pull request #151 from eminence/completions Ignore all IO errors during completion