Update Coccinelle URL

* admin/coccinelle/README: Update URL.

(cherry picked from commit 0d1edecf1eaab277465b77e8627de01599cc7cee)

diff --git a/admin/coccinelle/README b/admin/coccinelle/README
index 48a88dbc8d83dd639ba16eb7694a3b5d8524d353..0e7bd9dd946c55918f0827c360b4664b96dd8bcd 100644 (file)
--- a/admin/coccinelle/README
+++ b/admin/coccinelle/README
@@ -1,3 +1,5 @@
 This directory contains semantic patches for Coccinelle, a program matching
-and transformation tool for programs written in C.  For more details, see
-http://coccinelle.lip6.fr.
+and transformation tool for programs written in C.
+
+For more information, see:
+https://coccinelle.gitlabpages.inria.fr/website