user/linus/plop.git/merge, branch erlmerge Linus' plop repository Parallelised merge, distribution phase. 2017-01-30T08:54:40+00:00 Linus Nordberg linus@nordu.net 2017-01-27T14:11:42+00:00 e99900eb05cdb2f5fecb01c987396b49a0a31aa0