Patch Set 1: heh i did the same in https://gerrit.osmocom.org/5373 -- yours is nicer since it shows the actual warnings, but mine already got merged...
-- To view, visit https://gerrit.osmocom.org/5422 To unsubscribe, visit https://gerrit.osmocom.org/settings Gerrit-MessageType: comment Gerrit-Change-Id: I2ce27fcaad07fed7aa926b872f9c7ab638d4f316 Gerrit-PatchSet: 1 Gerrit-Project: osmo-msc Gerrit-Branch: master Gerrit-Owner: Pau Espin Pedrol <pes...@sysmocom.de> Gerrit-Reviewer: Harald Welte <lafo...@gnumonks.org> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: Neels Hofmeyr <nhofm...@sysmocom.de> Gerrit-HasComments: No