Fate map fixes #191

Merged
zxq9 merged 2 commits from fate-map-fixes into master 2019-08-27 17:55:38 +09:00
zxq9 commented 2019-08-27 15:54:06 +09:00 (Migrated from gitlab.com)

Created by: UlfNorell

Fix some more bugs discovered by testing.

See also https://github.com/aeternity/aeternity/pull/2710

*Created by: UlfNorell* Fix some more bugs discovered by testing. See also https://github.com/aeternity/aeternity/pull/2710
gorillainduction (Migrated from gitlab.com) approved these changes 2019-08-27 15:54:06 +09:00
zxq9 commented 2019-08-27 16:07:09 +09:00 (Migrated from gitlab.com)

Created by: hanssv

Review: Approved

*Created by: hanssv* **Review:** Approved
gorillainduction commented 2019-08-27 17:43:17 +09:00 (Migrated from gitlab.com)

approved this merge request

approved this merge request
zxq9 commented 2019-08-27 17:55:38 +09:00 (Migrated from gitlab.com)

Merged by: UlfNorell at 2019-08-27 08:55:38 UTC

*Merged by: UlfNorell at 2019-08-27 08:55:38 UTC*
Sign in to join this conversation.
No description provided.