diff --git a/extern/drgn b/extern/drgn index 888a861..de24803 160000 --- a/extern/drgn +++ b/extern/drgn @@ -1 +1 @@ -Subproject commit 888a8611309ea197accd63e3e8badce59e1cebfb +Subproject commit de2480353e73a48063f4eca4b620d72e80e5246f