diff --git a/external/pluto b/external/pluto
index 1631763c..8fed2bb0 160000
--- a/external/pluto
+++ b/external/pluto
@@ -1 +1 @@
-Subproject commit 1631763c8dd932785c8cdfaff88f36e2399bcfa3
+Subproject commit 8fed2bb08dfcfa3952f0e62c36bf666254dd9dd7