Сравнение mic-paren-3.13 с mic-paren-3.15

Спасибо!