From 89b3ede4f330a5f87c5071ac60857645e486cadf Mon Sep 17 00:00:00 2001 From: Matthias Maier Date: Fri, 4 May 2018 14:48:34 -0500 Subject: [PATCH] Update changelog headers for the release. --- doc/news/changes/header | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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

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.

-- 2.39.5