pespin has posted comments on this change. ( https://gerrit.osmocom.org/c/docker-playground/+/18771 )
Change subject: debian-stretch-jenkins/Dockerfile: Install source-highlight ...................................................................... Patch Set 1: Verified+1 -- To view, visit https://gerrit.osmocom.org/c/docker-playground/+/18771 To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings Gerrit-Project: docker-playground Gerrit-Branch: master Gerrit-Change-Id: I8427179f7cfc0c9150e5327803ca89adffedb8f1 Gerrit-Change-Number: 18771 Gerrit-PatchSet: 1 Gerrit-Owner: pespin <pes...@sysmocom.de> Gerrit-Reviewer: pespin <pes...@sysmocom.de> Gerrit-Comment-Date: Wed, 10 Jun 2020 16:47:22 +0000 Gerrit-HasComments: No Gerrit-Has-Labels: Yes Gerrit-MessageType: comment