Merge proposals dependent on lp:~tapaal-contributor/tapaal/merge-query-dialogs

lp:~tapaal-contributor/tapaal/merge-query-dialogs has no merge proposals.