[3party] Switch to tagged, released pugixml v1.13 #3811

Merged
Ferenc- merged 1 commit from released-pugixml into master 2022-11-06 07:40:35 +00:00

@ -1 +1 @@
Subproject commit 0cb4f025791f7c17f8ec09a1c12b0cb107518fad
Subproject commit a0e064336317c9347a91224112af9933598714e9