大家你好，

很喜欢Deepin， 但是最后的更新引进了一个音响故障：
After the most recent update, when I have both external speakers and an hdmi-connected monitor with speakers, the audio will no longer switch to external headphones. (You may select external headphones, but it won't actually switch to them; it will remain on the external hdmi.)