diff options
| author | Daniel Shahaf <d.s@daniel.shahaf.name> | 2020-03-18 19:57:49 +0000 |
|---|---|---|
| committer | Daniel Shahaf <d.s@daniel.shahaf.name> | 2020-03-22 02:23:53 +0000 |
| commit | a3c6c5513dcfc25d952735449bf6da476d905184 (patch) | |
| tree | 834103012b6a2675b08c9fdfef779c18690cdb9b /Config | |
| parent | fd1ef7d770d285dbf12f4b3516ea963a852e5cdd (diff) | |
| download | zsh-a3c6c5513dcfc25d952735449bf6da476d905184.tar.gz zsh-a3c6c5513dcfc25d952735449bf6da476d905184.tar.xz zsh-a3c6c5513dcfc25d952735449bf6da476d905184.zip | |
45583/0007: WC_FUNCDEF: Add a placeholder element.
Diffstat (limited to 'Config')
| -rw-r--r-- | Config/version.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Config/version.mk b/Config/version.mk index 6540e4b98..7ecfd35ba 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=5.8.0.1-dev -VERSION_DATE='February 15, 2020' +VERSION=5.8.0.2-dev +VERSION_DATE='March 19, 2020' |