Code review comment for lp:~tapaal-contributor/tapaal/Gui-freeze-1896457

Revision history for this message
Peter Haahr Taankvist (ptaank) wrote :

Seems the push did not go through. It should be updated now.

review: Needs Resubmitting

« Back to merge proposal