Update pugi, lz4 and zlib

2025-01-25 14:55:30 +01:00
parent 9a32138f6a
commit c7e931db24
101 changed files with 5467 additions and 5157 deletions
@@ -204,7 +204,7 @@ package body ZLib is
      end if;

      --  We allow ZLib to make header only in case of default header type.
-      --  Otherwise we would either do header by ourselfs, or do not do
+      --  Otherwise we would either do header by ourselves, or do not do
      --  header at all.

      if Header = None or else Header = GZip then