[sr-dev] git:master: sdpops: fix gcc warning, reported from Juha