Le mercredi, 18 décembre 2013 à 13:47, Thomas Gazagnaire a écrit : > > Should I file a bug report with ocp-index ? > > > Yes please. https://github.com/OCamlPro/ocp-index/issues/26 Daniel