summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2017-10-10 14:11:16 +0200
committerXavier Leroy <xavier.leroy@inria.fr>2017-10-10 14:11:16 +0200
commitd781d15e01df22a09fa2b900a8feea87d1351d39 (patch)
tree9297ef64745477f355312e5280df5aa08457d760
parent79bcc034c7ee591824ca4308fa9336658bf64442 (diff)
downloadocaml-execvpe.tar.gz
MPR#7640: update Changesexecvpe
-rw-r--r--Changes10
1 files changed, 6 insertions, 4 deletions
diff --git a/Changes b/Changes
index c160d88f73..61a4183ef2 100644
--- a/Changes
+++ b/Changes
@@ -680,10 +680,12 @@ Release branch for 4.06:
This looks like a Mingw64 issue, which we work around with GCC builtins.
(Xavier Leroy)
-* MPR#7640: reimplementation of Unix.execvpe to fix issues with the 4.05
- implementation. The main issue is that the current directory was always
- searched (last), even if the current directory is not listed in the PATH.
- (Xavier Leroy, report by Mantis users 'AltGr' and 'aalekseyev')
+* MPR#7640, GPR#1414: reimplementation of Unix.execvpe to fix issues
+ with the 4.05 implementation. The main issue is that the current
+ directory was always searched (last), even if the current directory
+ is not listed in the PATH.
+ (Xavier Leroy, report by Mantis users 'AltGr' and 'aalekseyev',
+ review by Ivan Gotovchits)
- GPR#1155: Fix a race condition with WAIT_NOHANG on Windows
(Jérémie Dimino and David Allsopp)