Merge SoftwareSystems subcategories
Proposal: sosy-lab/benchmarking/sv-benchmarks#1384 (comment 1632028102). Accepted at community meeting on 2023-11-07.
Proposal: sosy-lab/benchmarking/sv-benchmarks#1384 (comment 1632028102). Accepted at community meeting on 2023-11-07.