Flatland merge requests
https://gitlab.aicrowd.com/flatland/flatland/-/merge_requests
2020-06-11T20:22:47Z
https://gitlab.aicrowd.com/flatland/flatland/-/merge_requests/254
WIP: Resolve "Update Editor"
2020-06-11T20:22:47Z
adrian_egli
WIP: Resolve "Update Editor"
Closes #223
Closes #223