aboutsummaryrefslogtreecommitdiff
path: root/dev/doc/MERGING.md
AgeCommit message (Expand)Author
2018-03-21Refine a bit the decentralized merging process.Maxime Dénès
2018-03-19Describe new merging process.Maxime Dénès