Merge branch 'master' into 'master'
Fix: a memory leak in platform_c.c Caught this as part of a large-scale audit of C stubs related to [this PR](https://github.com/ocaml/ocaml/pull/71). Haven't tested the fix. Please, take a careful look at it. It is also advised to upgrade the bundled `postgresql` library to the latest version, which makes use of the undocumented `caml_stat_*` functions in a consistent way. See merge request !1
Showing with 10 additions and 9 deletions