chiark / gitweb /
shared: util - use nicer idiom to silence Coverity
authorTom Gundersen <teg@jklm.no>
Tue, 30 Sep 2014 09:37:28 +0000 (11:37 +0200)
committerTom Gundersen <teg@jklm.no>
Tue, 30 Sep 2014 09:37:28 +0000 (11:37 +0200)
Suggested by Zbigniew.


No differences found