From 80db5b8ca17ff422b1404c29cc9f60b0a298a90d Mon Sep 17 00:00:00 2001
From: Jan Wielemaker <J.Wielemaker@vu.nl>
Date: Sun, 10 Dec 2023 11:23:34 +0100
Subject: [PATCH] Updated pldoc

---
 packages/pldoc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/pldoc b/packages/pldoc
index a1f4092534..d2eab1e357 160000
--- a/packages/pldoc
+++ b/packages/pldoc
@@ -1 +1 @@
-Subproject commit a1f4092534ec1454bca99bf64d11e67b1e5a55e3
+Subproject commit d2eab1e3579ad90623e1b1d8b0a46ae6566abe68