+mesh 0.8.5 (using OPAM format version 1)
Merge pull request #2692 from Chris00/master

+mesh 0.8.5