diff --git a/packages/pldoc b/packages/pldoc index 1e324d30b..34ef10c71 160000 --- a/packages/pldoc +++ b/packages/pldoc @@ -1 +1 @@ -Subproject commit 1e324d30b913edbe78cc4b923cde7998013cbfb0 +Subproject commit 34ef10c71d1577dcde1e5437949cc202638ed671