From 417720feffd5adfb021db8266bccadf481ed63f6 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Tue, 4 Oct 2022 08:05:46 -0600 Subject: [PATCH] Correct a date in a file name in the changelog. --- .../minor/{20221005NicolasBarnafi => 20220510NicolasBarnafi} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename doc/news/changes/minor/{20221005NicolasBarnafi => 20220510NicolasBarnafi} (100%) diff --git a/doc/news/changes/minor/20221005NicolasBarnafi b/doc/news/changes/minor/20220510NicolasBarnafi similarity index 100% rename from doc/news/changes/minor/20221005NicolasBarnafi rename to doc/news/changes/minor/20220510NicolasBarnafi -- 2.39.5