Speed up diff generation#271

frabert wants to merge 5 commits intomasterlifting-bits/rellic:masterfrom

frabert/speed-up-diffslifting-bits/rellic:frabert/speed-up-diffsCopy head branch name to clipboard