Coverage increased (+0.003%) to 99.444% when pulling 38718d80a69acc454b19979a85d8887c897744d6 on switch-controller-to-spinnman into 7fe1217b07f17de1751fe817a6f5a91330490402 on master.
Coverage decreased (-0.2%) to 99.363% when pulling 87d8b1d09ffa0d9ff12c87c7845ef4127d1e4c00 on switch-controller-to-spinnman into 778e6f0a4f9c90c119f0e7ca4cc8f2dd7b70c7bc on master.
This converts spalloc_server to use the SpiNNMan Transceiver.