Log in / Register
TAPAAL
Overview
Code
Bugs
Blueprints
Translations
Answers
Code review comment for lp:~tapaal-contributor/tapaal/Gui-freeze-1896457
Gui-freeze-1896457
Merge into trunk
Revision history for this message
Peter Haahr Taankvist (ptaank)
wrote
on 2020-10-09
:
#
Seems the push did not go through. It should be updated now.
Seems the push did not go through. It should be updated now.
review:
Needs Resubmitting
«
Back to merge proposal
Seems the push did not go through. It should be updated now.