Merge virtuoso-opensource (6.1.6+dfsg2-4) import into refs/heads/workingbranch
authorMattia Rizzolo <mattia@debian.org>
Tue, 10 Jan 2017 11:56:02 +0000 (11:56 +0000)
committerMattia Rizzolo <mattia@debian.org>
Tue, 10 Jan 2017 11:56:02 +0000 (11:56 +0000)

Trivial merge