From 9eb064984d3683d4e6bb96230b97ce5298f8965b Mon Sep 17 00:00:00 2001
From: Wenzel Jakob <wenzel.jakob@epfl.ch>
Date: Wed, 30 Nov 2022 08:45:23 +0100
Subject: [PATCH] update Dr.Jit-Core repo

---
 ext/drjit-core | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ext/drjit-core b/ext/drjit-core
index 51d54c0e8..8c190ea80 160000
--- a/ext/drjit-core
+++ b/ext/drjit-core
@@ -1 +1 @@
-Subproject commit 51d54c0e8c954a1acc08cd44e05257d080a56969
+Subproject commit 8c190ea806d117b8fb76fa216e3caa4d9fa1ec6b