From ac7f845583624e17df4107f41c988db1bba25bfc Mon Sep 17 00:00:00 2001
From: Guido Cossu <guido.cossu@ed.ac.uk>
Date: Fri, 4 Nov 2016 19:26:48 +0000
Subject: [PATCH] Small change in naming of the pages

---
 _data/navigation.yml      | 2 +-
 _pages/docs/bug_report.md | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/_data/navigation.yml b/_data/navigation.yml
index 5115038d..c64153da 100644
--- a/_data/navigation.yml
+++ b/_data/navigation.yml
@@ -33,7 +33,7 @@ docs:
 
   - title: Development
     children:
-      - title: "Reporting a bug"
+      - title: "Reporting an issue"
         url: /docs/bug_report/
       - title: "Continuous integration"
         url: /docs/travis/
diff --git a/_pages/docs/bug_report.md b/_pages/docs/bug_report.md
index 5c099e4a..02f7a85c 100644
--- a/_pages/docs/bug_report.md
+++ b/_pages/docs/bug_report.md
@@ -2,7 +2,7 @@
 layout: single
 title : "Documentation"
 author_profile: false
-excerpt: "Reporting a bug"
+excerpt: "Reporting an issue"
 header:
   overlay_color: "#C70039"
 permalink: /docs/bug_report/