1 files changed, 3 insertions, 3 deletions
diff --git a/extra.old.json b/extra.old.json
index c1f83ce..83d82b1 100644
--- a/extra.old.json
+++ b/extra.old.json
@@ -1268,9 +1268,9 @@
       "version": "v0.94"
     },
     "pd-lua": {
-      "version": "0.12.22",
-      "gitref": "refs/tags/0.12.22",
-      "revision": "e3dff621f3d3fc874e7ed97a447a48f724db30b5"
+      "version": "0.12.23",
+      "gitref": "refs/tags/0.12.23",
+      "revision": "4301f744a9023ea77b6fe0ba35918ad18e19276f"
     },
     "pesign": {
       "version": "116"