[3party] Switch to tagged, released pugixml v1.13 #3811
1 changed files with 1 additions and 1 deletions
|
@ -1 +1 @@
|
|||
Subproject commit 0cb4f025791f7c17f8ec09a1c12b0cb107518fad
|
||||
Subproject commit a0e064336317c9347a91224112af9933598714e9
|
Reference in a new issue