Update patch set 3
Patch Set 3: Verified+1
5 passed:
[build] https://jenkins.osmocom.org/jenkins/job/gerrit-osmo-msc-build/IU=--enable-iu,WITH_MANUALS=0,a3=default,a4=default,label=osmocom-gerrit-debian9/94/consoleFull
[build] https://jenkins.osmocom.org/jenkins/job/gerrit-osmo-msc-build/IU=--disable-iu,WITH_MANUALS=1,a3=default,a4=default,label=osmocom-gerrit-debian9/94/consoleFull
[lint] https://jenkins.osmocom.org/jenkins/job/gerrit-lint/527/consoleFull
[deb] https://jenkins.osmocom.org/jenkins/job/gerrit-binpkgs-deb/384/consoleFull
[rpm] https://jenkins.osmocom.org/jenkins/job/gerrit-binpkgs-rpm/383/consoleFull
Build Successful
Patch-set: 3
Tag: jenkins
Reviewer: Gerrit User 1000002 <1000002@035e6965-6537-41bd-912c-053f3cf69326>
Label: Verified=+1
a377914d6c