Resolve "exported as GPML that can not upload to MINERVA" (!1166) · Merge requests · minerva / core · GitLab

Merged Piotr Gawron requested to merge 1273-exported-as-gpml-that-can-not-upload-to-minerva into master Jun 10, 2020

Closes #1273 (closed), #1267 (closed)

Edited Jun 10, 2020 by Piotr Gawron