tagging version 1.40+deb7u1
This tag has no release notes.