Fix mistake: cannot use settings.randomness too early in Hall
authorBenjamin Auder <benjamin.auder@somewhere>
Thu, 12 Mar 2020 11:21:31 +0000 (12:21 +0100)
committerBenjamin Auder <benjamin.auder@somewhere>
Thu, 12 Mar 2020 11:21:31 +0000 (12:21 +0100)

No differences found