-
Committer:
srba.jiri at gmail
-
Date:
2019-04-23 19:46:42 UTC
-
mfrom:
(218.1.1 verifypn)
-
Revision ID:
srba.jiri@gmail.com-20190423194642-uvyf3pj2137jtt2r
merged in lp:~verifypn-cpn/verifypn/eq-push-fix-trunk fixing a problem with equality check
in NIM model