debian/1.1.4-1.5+deb9u1

Sébastien Villemot

@sebastien

f70f42fc · Fix bug number in changelog. · Aug 23, 2017

cvxopt Debian release 1.1.4-1.5+deb9u1