From 22e75a3825bd66b1c3f767d7deae55f539552486 Mon Sep 17 00:00:00 2001 From: Nathan Freitas Date: Thu, 5 Feb 2015 10:53:55 -0500 Subject: [PATCH] update pluto to latest --- external/pluto | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/external/pluto b/external/pluto index bb501fbf..356e4906 160000 --- a/external/pluto +++ b/external/pluto @@ -1 +1 @@ -Subproject commit bb501fbf5ff545ee04909214ade5e7c9ce935186 +Subproject commit 356e4906370f30aad06ea0e9fa44382149c22597