--- libpagemaker/src/lib/PMDTypes.h.orig 2024-08-15 18:11:59.101917556 +0200
+++ libpagemaker/src/lib/PMDTypes.h 2024-08-15 18:12:01.156931972 +0200
@@ -10,6 +10,7 @@
#ifndef __PMDTYPES_H__
#define __PMDTYPES_H__
+#include <stdint.h>
#include <boost/optional.hpp>
#include "Units.h"
[ Dauer der Verarbeitung: 0.11 Sekunden
(vorverarbeitet)
]
