Parameters should be exported regardless of whether their domains are exported or not [REPLACEMENT ISSUE]

Question

Parameters should be exported regardless of whether their domains are exported or not [REPLACEMENT ISSUE]

spine-o-bot opened this issue 4 years ago · 2 comments

The original issue

Id: 11
Title: Parameters should be exported regardless of whether their domains are exported or not

could not be created.
This is a dummy issue, replacing the original one. It contains everything but the original issue description. In case the gitlab repository is still existing, visit the following link to show the original issue:

TODO

Answer 1 · 2021-02-02T19:57:32.000Z

In GitLab by @soininen on Oct 1, 2020, 12:45

mentioned in commit 9ef05f3

Answer 2 · 2021-02-02T19:57:35.000Z

In GitLab by @soininen on Oct 1, 2020, 13:14

Fixed.