From fa108f52c67a4fd5463b941d3bf41ee214e1cd3d Mon Sep 17 00:00:00 2001 From: Aram Sargsyan Date: Fri, 29 Apr 2022 08:44:15 +0000 Subject: [PATCH] Add placeholder for [GL #3278] --- CHANGES | 2 ++ 1 file changed, 2 insertions(+) diff --git a/CHANGES b/CHANGES index 35af6a82ed..29bb70c4fc 100644 --- a/CHANGES +++ b/CHANGES @@ -1,3 +1,5 @@ +5881. [placeholder] + 5880. [func] Add new named command-line option -C to print built-in defaults. [GL #1326]