Few days ago, I clean install the 10.13.1 on my 5480, and the usb3.1 type-c hot plug works fine.
yesterday I got the Dell TB15 (TB3 dock), then TB3 is no hot plug,
I have to plug in before boot, and the type-c on the TB15 is no hot plug, either.
any idea?
Thanks