Merge pull request #5149 from mosfet80/UpdatePugiXml

show correct pugixml version

contrib/pugixml/readme.txt

@@ -1,4 +1,4 @@
-pugixml 1.12 - an XML processing library
+pugixml 1.13 - an XML processing library
 
 Copyright (C) 2006-2022, by Arseny Kapoulkine ([email protected])
 Report bugs and download new versions at https://pugixml.org/