-
Committer:
Jiri Srba
-
Date:
2020-10-30 20:53:37 UTC
-
mfrom:
(1102.5.3 Gui-freeze-1896457)
-
Revision ID:
srba@cs.aau.dk-20201030205337-jzv57tx148ez63u9
merged in lp:~tapaal-contributor/tapaal/Gui-freeze-1896457 fixing a problem with stuck GUI when opening a net with wrong queries