diff --git a/Extern/Pipe b/Extern/Pipe index 31629043..70e3dbaf 160000 --- a/Extern/Pipe +++ b/Extern/Pipe @@ -1 +1 @@ -Subproject commit 31629043670de2445952f87d324f1ecb60443f8a +Subproject commit 70e3dbafe7612fb9f0089186642451f64ac3b32d