[sr-dev] git:master:4af08be4: Merge pull request #725 from AndreasHuber-CH/contact_length