Part of #91 (closed)
Pipeline #181423 passed
Pipeline passed for a0c2edd0 on docs-build-2 8 months ago
Merge details
Mentions issue #91 (closed)
Pipeline #181432 passed
Pipeline passed for 13fc33c0 on main 8 months ago
assigned to @Diziet
mentioned in commit 13fc33c0
merged