Pau Espin Pedrol has posted comments on this change. ( https://gerrit.osmocom.org/12081 )
Change subject: contrib/jenkins.sh: build and publish manuals ...................................................................... Patch Set 5: Code-Review+2 -- To view, visit https://gerrit.osmocom.org/12081 To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings Gerrit-Project: osmo-msc Gerrit-Branch: master Gerrit-MessageType: comment Gerrit-Change-Id: I42d80dadf28fd54c45b275f2c278225a8e7ea031 Gerrit-Change-Number: 12081 Gerrit-PatchSet: 5 Gerrit-Owner: osmith <[email protected]> Gerrit-Reviewer: Jenkins Builder (1000002) Gerrit-Reviewer: Pau Espin Pedrol <[email protected]> Gerrit-Comment-Date: Wed, 05 Dec 2018 12:53:17 +0000 Gerrit-HasComments: No Gerrit-HasLabels: Yes
