From c62b83ebc2ea28269c3139278b35c4e7985a8b88 Mon Sep 17 00:00:00 2001 From: Timo Heister Date: Wed, 12 Jun 2019 11:35:06 +0200 Subject: [PATCH] update release tasks --- release-tasks | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/release-tasks b/release-tasks index 667ab31..3555689 100644 --- a/release-tasks +++ b/release-tasks @@ -198,7 +198,7 @@ Contributors for 9.1: (updated 2019-05-12) 0b/ Check for doxygen formatting problems by running contrib/utilities/checkdoxygen.py: - find doc examples include -name "*.h" -o -name "*.dox" -print | xargs -n 1 ./contrib/utilities/checkdoxygen.py + find doc examples include \( -name "*.h" -o -name "*.dox" \) -print | xargs -n 1 ./contrib/utilities/checkdoxygen.py + and push the corresponding changes -- 2.39.5