From d96585db40d015a930d40812fb519beef77ea16c Mon Sep 17 00:00:00 2001
From: "Robert P. Goldman" <rpgoldman@sift.net>
Date: Wed, 22 Nov 2023 16:32:02 -0600
Subject: [PATCH] Bump version of PDDL-tools for PANDA support.

---
 jenkins/ext/pddl-tools | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jenkins/ext/pddl-tools b/jenkins/ext/pddl-tools
index 8670753e..9ae12151 160000
--- a/jenkins/ext/pddl-tools
+++ b/jenkins/ext/pddl-tools
@@ -1 +1 @@
-Subproject commit 8670753ecbb2182ee689a6231ee5b2444cfdec2f
+Subproject commit 9ae12151814297dd9249f4589b36a2d4a94d9c72