[coccinelle] New upstream version 1.0.0-rc12.

[Richard W.M. Jones]

commit daa5573b766aa26e5f89c51b8acd8746bd1df5a6
Author: Richard W.M. Jones <rjones at redhat.com>
Date:   Tue Jul 3 15:22:08 2012 +0100

    New upstream version 1.0.0-rc12.
    
    - Rebuild for OCaml 4.00.0.

 .gitignore      |    1 +
 coccinelle.spec |    6 +++++-
 sources         |    2 +-
 3 files changed, 7 insertions(+), 2 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index 1635f11..fed567a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,3 +5,4 @@ coccinelle-0.2.3rc6.tgz
 /coccinelle-1.0.0-rc4.tgz
 /coccinelle-1.0.0-rc8.tgz
 /coccinelle-1.0.0-rc9.tgz
+/coccinelle-1.0.0-rc12.tgz
diff --git a/coccinelle.spec b/coccinelle.spec
index 2c0a878..f8b5549 100644
--- a/coccinelle.spec
+++ b/coccinelle.spec
@@ -8,7 +8,7 @@
 
 Name:           coccinelle
 Version:        1.0.0
-Release:        0.rc9.6%{?dist}.2
+Release:        0.rc12.1%{?dist}
 Summary:        Semantic patching for Linux (spatch)
 
 Group:          Development/Libraries
@@ -166,6 +166,10 @@ rm -rf $RPM_BUILD_ROOT
 
 
 %changelog
+* Mon Jul 30 2012 Richard W.M. Jones <rjones at redhat.com> - 1.0.0-0.rc12.1
+- New upstream version 1.0.0-rc12.
+- Rebuild for OCaml 4.00.0.
+
 * Wed Jul 18 2012 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 1.0.0-0.rc9.6.2
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
 
diff --git a/sources b/sources
index 38b3a32..9e45b33 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-16a1e463d92d5c13564dbc6050075bb3  coccinelle-1.0.0-rc9.tgz
+0ade4c32d03fed2931e1532f6ab0cba9  coccinelle-1.0.0-rc12.tgz