From 1d744c64b4ee5e1097ed145eac0d98118d7a16a6 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Fri, 11 Jul 2014 09:55:08 +0200 Subject: [PATCH] README: add contact information Signed-off-by: Sven Verdoolaege --- README | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/README b/README index ca85802..344b609 100644 --- a/README +++ b/README @@ -188,6 +188,12 @@ has been resolved in PPCG, you should avoid such variable names in your input program. +Contact + +For bug reports, feature requests and questions, +contact http://groups.google.com/group/isl-development + + Citing PPCG If you use PPCG for your research, you are invited to cite -- 2.11.4.GIT