Document Proposal Documentation Pull Request Merge Order
On February 7, 2016, Lars made a proprosal "Documentation Pull Request Merge Order" on the list: https://groups.google.com/a/opencast.org/forum/#!topic/matterhorn/rUD0yCmpccg.
The proposal essentially allows documentation changes to be merged out-of-order.
Since there were no -1 until today, the proprosal has passed and should be added to the proposal log of accepted proposals. Also, the documentation of merging should be updated according to the proposal.