Assim, e de acordo com o popular site Tom’s Hardware, a patch KB4532695 acabou de ser lançada e corrige os problemas que chegaram com o update de Novembro de 2019 e até o de Maio. De facto, a pesquisa parece ser o elemento comum das diversas correções.
Este update resolve, assim, um problema que fazia com que aparecesse uma caixa cinzenta na pesquisa que está no Painel de Controlo e no Explorador de Ficheiros. Dá conta também de uma situação que impedia que se colasse texto na barra de pesquisa através do botão direito do rato.
Além disso, este patch KB4532695 corrige também um problema com a remoção de pendrives em hubs USB Tipo-C e outro muito importante. É que em algumas ocasiões não era possível jogar em multiplayer.
Mais informações podem ser encontradas em https://support.microsoft.com/en-us/help/4532695/windows-10-update-kb4532695 .