[sr-dev] git:5.1:de236478: ipops: Fixed mask for 172.16.0.0/12 network (#1907)