Open mikelietz opened 6 years ago
Merge rounds without minors to merge in them could probably be skipped.
By "skipped" I suppose I mean "created and then hidden, then the subsequent OR/SR created".
Merge rounds without minors to merge in them could probably be skipped.