Closed Christian-B closed 1 year ago
Part of https://github.com/SpiNNakerManchester/SpiNNMan/pull/335
https://github.com/SpiNNakerManchester/SpiNNMan/pull/354 is a better fix.
Not deleting until the alternative PR is merged in.
Part of https://github.com/SpiNNakerManchester/SpiNNMan/pull/335