diff options
author | Jörg Frings-Fürst <debian@jff.email> | 2024-06-30 15:46:39 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff.email> | 2024-06-30 15:46:39 +0200 |
commit | 73365252941d4053dca0e7fa06f4c205194cf1b8 (patch) | |
tree | 3eff4566f12e48cfee6b35955d262e46ee5a5da1 /sanei/sanei_usb.c | |
parent | 52c7d661296d9efb9a51b52c38dda22516cf981a (diff) | |
parent | 3c9b873509b5c2278d4e345bf86a22c1ff26f3c0 (diff) |
Merge branch 'release/debian/1.3.0-1'debian/1.3.0-1
Diffstat (limited to 'sanei/sanei_usb.c')
-rw-r--r-- | sanei/sanei_usb.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sanei/sanei_usb.c b/sanei/sanei_usb.c index 022f6fa..850c3b3 100644 --- a/sanei/sanei_usb.c +++ b/sanei/sanei_usb.c @@ -65,6 +65,7 @@ #include <time.h> #if WITH_USB_RECORD_REPLAY +#include <libxml/parser.h> #include <libxml/tree.h> #endif |