Updated Pipe

muit · muit · commit be5ab7754d7a · 2024-12-01T23:50:06.000+01:00
diff --git a/Extern/Pipe b/Extern/Pipe
@@ -1 +1 @@
-Subproject commit 31629043670de2445952f87d324f1ecb60443f8a
+Subproject commit 70e3dbafe7612fb9f0089186642451f64ac3b32d
