debian/1.8.0-3

Thomas Goirand

@zigo

0b075f5f · * Remove installation of doc-tools-update-cli-reference alternative. Thanks · Oct 10, 2018

Debian release 1.8.0-3