mirror of
https://github.com/sbt/sbt.git
synced 2026-10-06 10:03:56 +02:00
Syncs with https://github.com/sbt/zinc/pull/359 and https://github.com/sbt/util/pull/84.
Syncs with https://github.com/sbt/zinc/pull/359 and https://github.com/sbt/util/pull/84.