From 93d614aef64c550740d66aafd6073876a6193080 Mon Sep 17 00:00:00 2001 From: Matthias Maier Date: Tue, 12 May 2020 12:01:49 -0500 Subject: [PATCH] Release step 1a: Update tag list --- doc/users/doxygen.html | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/users/doxygen.html b/doc/users/doxygen.html index 29d89b15fc..05b41ee67d 100644 --- a/doc/users/doxygen.html +++ b/doc/users/doxygen.html @@ -30,6 +30,7 @@ Doxygen, if the online documentation is available, here. For older revisions, links are provided here by revision number: + 9.2.0, 9.1.0, 9.0.0, 8.5.0, -- 2.39.5