Update patch set 4
Patch Set 4: 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/62/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/62/consoleFull
[deb] https://jenkins.osmocom.org/jenkins/job/gerrit-binpkgs-deb/224/consoleFull
[lint] https://jenkins.osmocom.org/jenkins/job/gerrit-lint/301/consoleFull
[rpm] https://jenkins.osmocom.org/jenkins/job/gerrit-binpkgs-rpm/223/consoleFull
Build Successful
Patch-set: 4
Tag: jenkins
Reviewer: Gerrit User 1000002 <1000002@035e6965-6537-41bd-912c-053f3cf69326>
Label: Verified=+1
d13392665b