Skip to content

merge devel to master, preparation for release 62.6#396

Merged
dozy merged 52 commits intomasterfrom develDec 13, 2016

Commits

Commits on Dec 7, 2016

Commits on Dec 12, 2016