| Fri, 06 Dec 2019 17:18:49 +0100 | Boris Feld | ci: add job to build and archive the documentation | changeset | files |
| Thu, 05 Dec 2019 10:04:52 -0800 | Martin von Zweigbergk | tests: update now that merge.graft() doesn't set two equal parents | changeset | files |
| Fri, 06 Dec 2019 14:01:29 +0100 | Manuel Jacob | evolve: fix content-divergence resolution when p1 is null (issue6201) | changeset | files |
| Wed, 04 Dec 2019 10:57:29 -0800 | Martin von Zweigbergk | obslog: make {node} the full node and leave shortening to template | changeset | files |