Closes #15 (closed)
Pipeline #286872 passed
Pipeline passed for e2223f4a on 15-implement-gui May 14, 2024
Merge details
Closed #15 (closed)
Pipeline #286873 passed
Pipeline passed for 6efd5dbe on dev May 14, 2024
added Finished label
requested review from @nicklapt
assigned to @sverrgha
merged
mentioned in commit 6efd5dbe