stringext.1.2.0 - via opam-publish
Merge pull request #3286 from rgrinberg/opam-publish/stringext.1.2.0

stringext.1.2.0 - via opam-publish