+ocaml-lua.1.2
Merge pull request #1044 from pdonadeo/master

+ocaml-lua.1.2