Update patch set 1
Patch Set 1: Verified+1
5 passed:
[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/113/consoleFull
[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/113/consoleFull
[deb] https://jenkins.osmocom.org/jenkins/job/gerrit-binpkgs-deb/648/consoleFull
[lint] https://jenkins.osmocom.org/jenkins/job/gerrit-lint/946/consoleFull
[rpm] https://jenkins.osmocom.org/jenkins/job/gerrit-binpkgs-rpm/645/consoleFull
Build Successful
Patch-set: 1
Tag: jenkins
Reviewer: Gerrit User 1000002 <1000002@035e6965-6537-41bd-912c-053f3cf69326>
Label: Verified=+1
a295f3401d