Merge proposals dependent on lp:~tapaal-contributor/tapaal/cpn-caseSensitivity

lp:~tapaal-contributor/tapaal/cpn-caseSensitivity has no merge proposals.