Update patch set 3
Patch Set 3: Verified+1
5 passed:
* [build] https://jenkins.osmocom.org/jenkins/job/gerrit-osmo-msc-build/IU=--disable-iu,WITH_MANUALS=0,a3=default,a4=default,label=osmocom-gerrit/878/consoleFull
* [build] https://jenkins.osmocom.org/jenkins/job/gerrit-osmo-msc-build/IU=--enable-iu,WITH_MANUALS=1,a3=default,a4=default,label=osmocom-gerrit/878/consoleFull
* [debian:10] https://jenkins.osmocom.org/jenkins/job/gerrit-binpkgs/8294/consoleFull
* [debian:12] https://jenkins.osmocom.org/jenkins/job/gerrit-binpkgs/8296/consoleFull
* [lint] https://jenkins.osmocom.org/jenkins/job/gerrit-lint/15482/consoleFull
Build Successful
Patch-set: 3
Tag: jenkins
Reviewer: Gerrit User 1000002 <1000002@035e6965-6537-41bd-912c-053f3cf69326>
Label: Verified=+1, 8ac6996da813c749dd921732ed15a701240be47c
f11a986c3d