From 8c6cb382678e7127499fc9bb8cd85e686c99a5a4 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <colder@php.net>
Date: Wed, 3 Sep 2014 13:56:46 +0200
Subject: [PATCH] Update bonsai
---
project/Build.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/project/Build.scala b/project/Build.scala
index 497cbb33a..1b805f4e4 100644
--- a/project/Build.scala
+++ b/project/Build.scala
@@ -77,6 +77,6 @@ object Leon extends Build {
).dependsOn(Github.bonsai)
object Github {
- lazy val bonsai = RootProject(uri("git://github.com/colder/bonsai.git#f52c898960bbb343b2138b896f9297848dc2bdb0"))
+ lazy val bonsai = RootProject(uri("git://github.com/colder/bonsai.git#8f485605785bda98ac61885b0c8036133783290a"))
}
}
--
GitLab