diff options
author | Wojciech Meyer <wojciech.meyer@gmail.com> | 2012-03-21 00:03:35 +0000 |
---|---|---|
committer | Wojciech Meyer <wojciech.meyer@gmail.com> | 2012-03-21 00:03:35 +0000 |
commit | 3eee9d124bd1a0a9a6dc8d417a043788a0db732e (patch) | |
tree | 4fad50d424947c6236676d3d98e380cab66fc4a0 /otherlibs/win32unix/socketaddr.h | |
parent | e5201eb76c5d1843052c251f3b6bb39475bc23f5 (diff) |
PR#5318: Proper finalization of stack and replay the trail after stack overflow
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12250 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/win32unix/socketaddr.h')
0 files changed, 0 insertions, 0 deletions