Improved roma standalone #517

Merged
zxq9 merged 4 commits from improved_roma_standalone into roma 2019-02-12 22:52:13 +09:00
zxq9 commented 2019-02-12 20:30:02 +09:00 (Migrated from gitlab.com)

Created by: hanssv

*Created by: hanssv*
gorillainduction (Migrated from gitlab.com) approved these changes 2019-02-12 20:30:02 +09:00
gorillainduction commented 2019-02-12 22:14:41 +09:00 (Migrated from gitlab.com)

approved this merge request

approved this merge request
zxq9 commented 2019-02-12 22:35:15 +09:00 (Migrated from gitlab.com)

Created by: lucafavatella

I understand related to https://github.com/aeternity/aeternity/pull/2143

*Created by: lucafavatella* I understand related to https://github.com/aeternity/aeternity/pull/2143
zxq9 commented 2019-02-12 22:47:49 +09:00 (Migrated from gitlab.com)

Created by: lucafavatella

Review: Approved

*Created by: lucafavatella* **Review:** Approved
zxq9 commented 2019-02-12 22:52:13 +09:00 (Migrated from gitlab.com)

Merged by: hanssv at 2019-02-12 13:52:13 UTC

*Merged by: hanssv at 2019-02-12 13:52:13 UTC*
Sign in to join this conversation.
No description provided.