1 files changed, 3 insertions, 3 deletions
diff --git a/extra.old.json b/extra.old.json
index c105847..f1eb437 100644
--- a/extra.old.json
+++ b/extra.old.json
@@ -1232,9 +1232,9 @@
       "version": "v0.94"
     },
     "pd-lua": {
-      "version": "0.12.4",
-      "gitref": "refs/tags/0.12.4",
-      "revision": "3e20e168f6297dba66af4a74654c067bc2919389"
+      "version": "0.12.7",
+      "gitref": "refs/tags/0.12.7",
+      "revision": "c198786af0a1c6605da0b0bc27edb3770dfdf810"
     },
     "pesign": {
       "version": "116"