Doc (catenate -> concatenate, which is more common and coherent with other doc strings).
Doc (catenate -> concatenate, which is more common and coherent with other doc strings).

gerdstolpmann/ocaml,yunxing/ocaml,msprotz/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,msprotz/ocaml,msprotz/ocaml,yunxing/ocaml,msprotz/ocaml,yunxing/ocaml,eliberis/ocaml,yunxing/ocaml,eliberis/ocaml,eliberis/ocaml,msprotz/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,eliberis/ocaml,eliberis/ocaml,yunxing/ocaml