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