Updated Pipe

muit · muit · commit 4a0c0e4124cf · 2024-10-05T15:57:47.000+02:00
diff --git a/Extern/Pipe b/Extern/Pipe
@@ -1 +1 @@
-Subproject commit 641e492ecb4779a49991f33b49d4deb85047b2c4
+Subproject commit c16e8a80a560512ad0ad87bd72eb96947cd79c84
