From 2da0edf5134bddbae8042457a3e597716c333d64 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Wed, 23 Sep 2020 18:17:26 -0600 Subject: [PATCH] Rename a changelog entry. I must have been in the wrong place with my finger when writing it. --- doc/news/changes/minor/{10100917Bangerth => 20200917Bangerth} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename doc/news/changes/minor/{10100917Bangerth => 20200917Bangerth} (100%) diff --git a/doc/news/changes/minor/10100917Bangerth b/doc/news/changes/minor/20200917Bangerth similarity index 100% rename from doc/news/changes/minor/10100917Bangerth rename to doc/news/changes/minor/20200917Bangerth -- 2.39.5