Fixed warnings with unknown dependencies/depopts
Closes #1015
Merge pull request #1079 from AltGr/fix-warning-depopts

Fixed warnings with unknown dependencies/depopts
Added `opam status report to help users give meaningful bug reports

Closes #1034
Merge pull request #1080 from AltGr/opam-config-report

Added `opam status report` to help users give meaningful bug reports
Updated CHANGES
Confirm init in a non-empty, non-opam dir
and don't delete the directory on abort or error after confirmation

Fixes #974, thanks for reporting
Merge pull request #1081 from AltGr/fix-init-rm-rf

Confirm init in a non-empty, non-opam dir
Do not reinstall dev packages on upgrade when package names are specified
Fixes #1001. Thanks for reporting !
update CONTRIBUTING to ask for `opam config report`
Merge pull request #1083 from AltGr/no-dev-upgrade

Do not reinstall dev packages on upgrade when package names are specified
Merge pull request #1084 from AltGr/CONTRIBUTING-reports

update CONTRIBUTING to ask for `opam config report`
Cleanup build dir after successful switch
Fixes #1006
Merge pull request #1085 from AltGr/clean-ocaml-build

Cleanup build dir after successful switch
Document 'depexts' in the dev-manual
Now that it is a bit more stable. Closes #991
dev-manual: fix some undefined refs
rebuild dev-manual pdf
Merge pull request #1087 from AltGr/update-dev-manual

dev-manual: Documenting 'depexts' and a few fixes
Handling lists of urls to be able to specify mirrors
in case the main upstream is down. Fixes #807
Updated dev-manual for 'url'
Merge pull request #1089 from AltGr/allow-url-mirrors

Handling lists of mirrors in url files