distinguish if a validation was done on XML or PDF

(cherry picked from commit cd7edc31e694fc49f1e16789c0e9795bce2c754d)
2022-01-27 08:51:02 +01:00
parent f255e5b864
commit 3f80c1daaf
2 changed files with 12 additions and 2 deletions
--- a/History.md
+++ b/History.md
@@ -1,3 +1,5 @@
+- log whether a XML or a PDF file was validated
+
 2.4.0
 =======
 2022-01-13