Update changelog headers for the release.

diff --git a/doc/news/changes/header b/doc/news/changes/header
index 3d76c030e50565a53d99d90095b93baf319f36be..ed7fe36c06f387d904eaa4bcd7e1f501334dd634 100644 (file)
--- 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>