From f67d98cb1035c4220b6fae8f7e5d1d429a2f152e Mon Sep 17 00:00:00 2001
From: Volker Birk <vb@pep-project.org>
Date: Thu, 30 Apr 2020 12:56:48 +0200
Subject: [PATCH] missing header file violating C++ standard

---
 src/jniutils.hh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/jniutils.hh b/src/jniutils.hh
index a9cf9a0..e8ee16b 100644
--- a/src/jniutils.hh
+++ b/src/jniutils.hh
@@ -1,6 +1,7 @@
 #pragma once
 #include <unordered_map>
 #include <thread>
+#include <mutex>
 #include <jni.h>
 #include <pEp/stringpair.h>
 #include <pEp/identity_list.h>