-
Glenn Morris authored
* etc/NEWS: No need to mention a simple customization option whose default has changed, since the :version tag does that.
57f1dee4
* etc/NEWS: No need to mention a simple customization option whose default has changed, since the :version tag does that.