On Wed Aug 28, 2024 at 2:33 PM AEST, Nicholas Piggin wrote: > Fix a couple of issues that Peter found with recent record/replay > fix for muxed device.
Hi, I've just realised these never got merged. Sorry for losing track of them, I was on vacation when doing them and things got a bit neglected. Looks like I forgot to cc you, Marc-Andre. Thanks, Nick
