From 563676e5320775631cd0b592e38b3f8d713722ce Mon Sep 17 00:00:00 2001 From: Nicolas Mellado Date: Fri, 15 Dec 2023 16:30:45 +0100 Subject: [PATCH] Update Ponca to v1.2 --- external/ponca | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/external/ponca b/external/ponca index 822a725..32bffeb 160000 --- a/external/ponca +++ b/external/ponca @@ -1 +1 @@ -Subproject commit 822a7255148f608ff4568ca2a90193923289de47 +Subproject commit 32bffeb82b55c56f82ce9b72b725f91e14d1c66d