From 0c1a023f46fb7d9225415d6b93f6c7093e2a06c6 Mon Sep 17 00:00:00 2001
From: rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Tue, 3 Sep 2013 10:06:16 +0000
Subject: [PATCH] 2013-09-03  Richard Biener  <rguenther@suse.de>

	* configure.ac: Also allow ISL 0.12.
	* configure: Regenerated.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@202207 138bc75d-0d04-0410-961f-82ee72b054a4
---
 ChangeLog | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 8fae3d2b2ca..1c74171eb2e 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2013-09-03  Richard Biener  <rguenther@suse.de>
+
+	* configure.ac: Also allow ISL 0.12.
+	* configure: Regenerated.
+
 2013-08-30  Bernd Edlinger  <bernd.edlinger@hotmail.de>
 
 	* MAINTAINERS (Write After Approval): Add myself.
-- 
2.11.4.GIT