Closes #26 (closed)
added ⚠️ bug label
marked this merge request as ready
enabled an automatic merge when all merge checks for c9cb4594 pass
merged
mentioned in commit 692ed0f7