From f76b0701e6567c83c47963a3d35211aa7ad8a1fa Mon Sep 17 00:00:00 2001 From: Peter Stephenson Date: Fri, 19 Mar 2004 10:52:35 +0000 Subject: [PATCH] Missing ChangeLog entry for 4.2.0 changes --- ChangeLog | 6 ++++++ Config/version.mk | 4 ++-- Etc/NEWS | 1 + Util/.distfiles | 2 +- 4 files changed, 10 insertions(+), 3 deletions(-) diff --git a/ChangeLog b/ChangeLog index 8932c546e..9ee8f3ad0 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2004-03-19 Peter Stephenson + + * unposted: Config/version.mk, Etc/NEWS, Util/.distfiles: + zsh-4.2.0 released (note this entry didn't make it into the + released file). + 2004-03-18 Peter Stephenson * unposted: make 19655 a bit safer. diff --git a/Config/version.mk b/Config/version.mk index 01c1fe1fc..d534f3fac 100644 --- a/Config/version.mk +++ b/Config/version.mk @@ -27,5 +27,5 @@ # This must also serve as a shell script, so do not add spaces around the # `=' signs. -VERSION=4.2.0-pre-4 -VERSION_DATE='March 12, 2004' +VERSION=4.2.0 +VERSION_DATE='March 19, 2004' diff --git a/Etc/NEWS b/Etc/NEWS index cfad73276..5c94d09a5 100644 --- a/Etc/NEWS +++ b/Etc/NEWS @@ -22,6 +22,7 @@ Syntax and builtins: function zsh-mime-setup uses existing mailcap and mime.types files to set up suitable aliases. Supplied function pick-web-browser is suitable for finding a browser to show .html etc. files by suffix alias. +- new option `no_case_glob' for case-insensitive globbing. Add-on modules and functions: - zsh/datetime modules makes date formatting and seconds since EPOCH diff --git a/Util/.distfiles b/Util/.distfiles index 3cb0b710a..133e1911d 100644 --- a/Util/.distfiles +++ b/Util/.distfiles @@ -1,5 +1,5 @@ DISTFILES_SRC=' .distfiles - difflog.pl helpfiles mkdisttree.sh reporter + check_exports difflog.pl helpfiles mkdisttree.sh reporter preconfig '