mirror of
https://github.com/sbt/sbt.git
synced 2026-09-05 01:03:36 +02:00
Merge pull request #1521 from sbt/wip/fix-flaky-settings-test
Fixes flaky no-such-element exception from bad generation of random test...
This commit is contained in: