Mon, 30 Jan 2017 14:28:51 +0200 Avoid duplication in company prompt because of case.
Oleksandr Gavenko <gavenkoa@gmail.com> [Mon, 30 Jan 2017 14:28:51 +0200] rev 1475
Avoid duplication in company prompt because of case. https://github.com/company-mode/company-mode/issues/635
(0) -1000 -300 -100 -30 -10 -1 +1 +10 +30 +100 tip