Merge SoftwareSystems subcategories
Proposal: #1384 (comment 1632028102). Accepted at community meeting on 2023-11-07.
Required for sosy-lab/sv-comp/bench-defs!397 (merged). Closes #1384 (closed).
Edited by Simmo Saan
Proposal: #1384 (comment 1632028102). Accepted at community meeting on 2023-11-07.
Required for sosy-lab/sv-comp/bench-defs!397 (merged). Closes #1384 (closed).