log

age author description
Fri, 06 Dec 2019 17:18:49 +0100 Boris Feld ci: add job to build and archive the documentation
Thu, 05 Dec 2019 10:04:52 -0800 Martin von Zweigbergk tests: update now that merge.graft() doesn't set two equal parents
Fri, 06 Dec 2019 14:01:29 +0100 Manuel Jacob evolve: fix content-divergence resolution when p1 is null (issue6201) stable