merge 170615 272262
thanks

Debian Developer, Ricardo Cardenes, is already working on it,
and you can apt-get eric package from:
http://people.debian.org/~rcardenes/

See also http://bugs.debian.org/170615.

Reply via email to