From e3d581ec46c4188b0f6c14c3f457a9f114d4cd13 Mon Sep 17 00:00:00 2001
From: Jan Wielemaker <J.Wielemaker@vu.nl>
Date: Sun, 10 Dec 2023 18:19:06 +0100
Subject: [PATCH] Updated pldoc

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

diff --git a/packages/pldoc b/packages/pldoc
index d2eab1e357..8de3b59db8 160000
--- a/packages/pldoc
+++ b/packages/pldoc
@@ -1 +1 @@
-Subproject commit d2eab1e3579ad90623e1b1d8b0a46ae6566abe68
+Subproject commit 8de3b59db8ed7dd054d1c9f7ef1a20210f8c5750