Viewing all changes in revision 199.
- Committer: Jiri Srba
- Date: 2018-03-15 10:18:43 UTC
- mfrom: (197.2.1 verifypn)
- Revision ID: srba.jiri@gmail.com-20180315101843-abdw7qjqy9645fkw
merged in branch lp:~verifypn-stub/verifypn/ctl_por_bug fixing one wrong answer on a query in MCC'17
expand all
collapse all
added
removed
