Closed gassmoeller closed 2 weeks ago
Follow up to #5394. These benchmarks scripts were not updated, because I didnt see that they used the subsection in the bash script.
Follow up to #5394. These benchmarks scripts were not updated, because I didnt see that they used the subsection in the bash script.