1. 09 May, 2016 1 commit
    • Gerd Stolpmann's avatar
      Merge branch 'master' into 'master' · e86ed5e3
      Gerd Stolpmann authored
      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
      e86ed5e3
  2. 07 Jan, 2016 1 commit
  3. 31 Dec, 2015 1 commit
  4. 31 Jul, 2013 2 commits
  5. 20 Jul, 2013 3 commits
  6. 18 Jul, 2013 1 commit
  7. 10 Jul, 2013 5 commits
  8. 09 Jul, 2013 2 commits
  9. 15 Nov, 2012 4 commits
  10. 13 Nov, 2012 1 commit
  11. 11 Nov, 2012 2 commits
  12. 09 Nov, 2012 1 commit
  13. 07 Nov, 2012 2 commits
  14. 06 Nov, 2012 1 commit
  15. 03 Nov, 2012 3 commits
  16. 02 Nov, 2012 7 commits
  17. 20 Oct, 2012 1 commit
  18. 19 Oct, 2012 2 commits