From b5e66791ff3013a85f8d354289a239f7c2a462e3 Mon Sep 17 00:00:00 2001 From: Francesco Rizzi Date: Sun, 10 Oct 2021 16:16:29 +0200 Subject: [PATCH] update pressio submodule --- pressio | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pressio b/pressio index 39e0783..46b06fc 160000 --- a/pressio +++ b/pressio @@ -1 +1 @@ -Subproject commit 39e0783b8c4464fa9652d154c5ea1859cc5cdc03 +Subproject commit 46b06fcfb9ccda3834bc3e7824c3926374a0268f