Updates to Microsoft Symbol server

Hi ,

Seems like MS is moving to a new symbol server now.
https://blogs.msdn.microsoft.com/windbg/2017/10/18/update-on-microsofts-symbol-server/


Idan Freiberg

PGP FP: 8108 7EC9 806E 4980 75F2 72B3 8AD3 2D04 337B 1F18

Yep! As always, I’m keeping an eye on OSR if anyone has any questions or comments. Right now we’re only putting 5% load onto the new back-end, but once we’re fully rolled out I’d love to hear if people notice any performance improvements.