chiark / gitweb /
Split brain: Make quiltify_trees_differ cleverer