From c7b70db4cee76756f7a35a565bbc76a7347d8b2d Mon Sep 17 00:00:00 2001
From: bendisposto <jens@bendisposto.de>
Date: Fri, 16 May 2014 10:16:34 +0200
Subject: [PATCH] Update README.md

---
 README.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/README.md b/README.md
index a6692f75..b847cb39 100644
--- a/README.md
+++ b/README.md
@@ -13,6 +13,9 @@ The ProB binary and source distributions contain the nauty library (http://cs.an
 
 For availability of commercial support, please contact Formal Mind (http://www.formalmind.com).
 
+# Bugs
+Please report bugs and feature requests at http://jira.cobra.cs.uni-duesseldorf.de/
+
 # Prolog Source Code
 The latest source code of the Prolog binary can be downloaded from http://nightly.cobra.cs.uni-duesseldorf.de/source/. To build the Prolog binaries you require a Sicstus 4 (http://sicstus.sics.se/index.html) licence. 
 
-- 
GitLab