]> WPIA git - gigi.git/commitdiff
upd: keep coverity happy by explicitly throwing
authorFelix Dörre <felix@dogcraft.de>
Sun, 19 Mar 2017 16:26:12 +0000 (17:26 +0100)
committerFelix Dörre <felix@dogcraft.de>
Sun, 19 Mar 2017 21:11:28 +0000 (22:11 +0100)
Change-Id: I515bdbb52f4aa792f506d1dbbda4a9632f20e136


No differences found