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]