From 42aadeab7b35812f71a7f67646e2d307bf6f966f Mon Sep 17 00:00:00 2001 From: DeeDeeG Date: Mon, 18 Dec 2023 03:37:21 -0500 Subject: [PATCH] ppm: Update ppm to commit 7dfd9ca8cf877391fc6ef1d5 Includes ppm Pull Request 116 "Fix bugs found in `publish` after 1.112 release" --- ppm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ppm b/ppm index 957acbd90c..7dfd9ca8cf 160000 --- a/ppm +++ b/ppm @@ -1 +1 @@ -Subproject commit 957acbd90cfc9f361c183b3c073b1886b73836f5 +Subproject commit 7dfd9ca8cf877391fc6ef1d5238f89e348df1508