+dns.0.10.0
Merge pull request #2524 from avsm/dns.0.10.0

+dns.0.10.0
fix non-portable use of sed's -i option
jsoo.2.4.1
Fix dose uninstall instructions
Merge pull request #2532 from hhugo/jsoo241

Minor release of js_of_ocaml
Merge pull request #2533 from AltGr/rm-dose

Fix dose uninstall instructions
Merge pull request #2530 from planar/ocp-ocamlres-sed-problem

fix non-portable use of sed's -i option