Merge tag 'upstream/1.7.2' into debian-experimental

Upstream version 1.7.2