added ocamltter.2.0.1
Merge remote-tracking branch 'upstream/master' into pr
OMyMakefile change without version increment
Merge remote-tracking branch 'upstream/master' into pr
ocamlspot bug fix + droping support of 4.00.0
Merge remote-tracking branch 'upstream/master' into pr
Merge pull request #647 from camlspotter/pr

Pr
remove git:// url in mirage-net in preference for stable archive, added by mistake