Merge pull request #2839 from cgwalters/treegen-race
authorColin Walters <walters@verbum.org>
Thu, 23 Mar 2023 21:55:36 +0000 (17:55 -0400)
committerGitHub <noreply@github.com>
Thu, 23 Mar 2023 21:55:36 +0000 (17:55 -0400)
treegen: Require at least one mutation


Trivial merge