| commit | 127950241e84c822d3c50f46a00d42a70d2d5cb6 | [log] [tgz] |
|---|---|---|
| author | Mike Williams <mikew@globalgraphics.com> | Mon Jun 28 20:53:58 2021 +0200 |
| committer | Bram Moolenaar <Bram@vim.org> | Mon Jun 28 20:53:58 2021 +0200 |
| tree | 6b5a0ac43a29edeb6e1cc3c3fb9f7c6f966cb28e | |
| parent | ffec6dd16a766180429addaa78928c773a3c9832 [diff] [blame] |
patch 8.2.3071: shell options are not set properly for PowerShell Problem: Shell options are not set properly for PowerShell. Solution: Use better option defaults. (Mike Willams, closes #8459)
diff --git a/src/version.c b/src/version.c index 9ec6877..dd74d2d 100644 --- a/src/version.c +++ b/src/version.c
@@ -756,6 +756,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 3071, +/**/ 3070, /**/ 3069,