Merge spice-gtk (0.33-3.3+deb9u1) import into refs/heads/workingbranch
authorSalvatore Bonaccorso <carnil@debian.org>
Fri, 26 Oct 2018 15:52:24 +0000 (16:52 +0100)
committerSalvatore Bonaccorso <carnil@debian.org>
Fri, 26 Oct 2018 15:52:24 +0000 (16:52 +0100)

Trivial merge