mirror of
https://github.com/sbt/sbt.git
synced 2026-09-03 16:39:24 +02:00
Now the client can put an id on each exec. This can then be tracked and/or be used to block the user input.
Now the client can put an id on each exec. This can then be tracked and/or be used to block the user input.