solved issues: issue 1, issue 1b, issue 1c, issue 2, issue 3, issue 4, issue 5 (#6)is open (see comments)
Merge request pipeline #3612 passed
Merge request pipeline passed for 237c2bc4 8 months ago
Pipeline #3613 passed
Pipeline passed for cb559f5c on main 8 months ago
assigned to @brilator
added 1 commit
Compare with previous version
mentioned in commit cb559f5c
merged