Subject: Re: Duplicate grafting derivations?

From: Leo Famulari <[email-masked]>
Date: Fri, 9 Jul 2021 16:31:46 -0400

I tried to reproduce this bug now, because the derivations I mentioned
are maybe a couple months old (I saved that list back then).

However, it seems like grafted derivations are being substituted now...
awesome! When did that happen?

But it's not easy to try to reproduce the bug.