Add new interface for merging revisions#2434

albertotessarotto merged 1 commit intomainmia-platform/documentation:mainfrom

edit/new-merge-diffmia-platform/documentation:edit/new-merge-diffCopy head branch name to clipboard