From 0ebe56f77cef765bcec931f0672407210957b415 Mon Sep 17 00:00:00 2001 From: DeeDeeG Date: Sun, 4 Dec 2022 17:04:59 -0500 Subject: [PATCH] ppm: Update to newer commits from pulsar-edit/ppm Includes updated Electron headers download URL. (See: https://github.com/pulsar-edit/ppm/pull/43) --- ppm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ppm b/ppm index 25d418f4a..e09cc63b8 160000 --- a/ppm +++ b/ppm @@ -1 +1 @@ -Subproject commit 25d418f4ae6db2504854c4fc0b2b22e8aef813f1 +Subproject commit e09cc63b85616d19a95a10b02a632ecf48741056