From: Matthias Maier <tamiko@43-1.org>
Date: Fri, 4 May 2018 19:48:34 +0000 (-0500)
Subject: Update changelog headers for the release.
X-Git-Tag: v9.0.0-rc1~11^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F6452%2Fhead;p=dealii.git

Update changelog headers for the release.
---

diff --git a/doc/news/changes/header b/doc/news/changes/header
index 3d76c030e5..ed7fe36c06 100644
--- a/doc/news/changes/header
+++ b/doc/news/changes/header
@@ -1,6 +1,6 @@
 // ---------------------------------------------------------------------
 //
-// Copyright (C) 2017 by the deal.II authors
+// Copyright (C) 2017 - 2018 by the deal.II authors
 //
 // This file is part of the deal.II library.
 //
@@ -14,11 +14,11 @@
 // ---------------------------------------------------------------------
 
 /**
-@page changes_after_8_5_0 Changes after Version 8.5.0
+@page changes_after_9_0_0 Changes after Version 9.0.0
 
 <p>
 This is the list of changes made after the release of deal.II version
-8.5.0. All entries are signed with the names of the authors.
+9.0.0. All entries are signed with the names of the authors.
 </p>