Closed ggreer closed 9 years ago
It's not uncommon to accidentally stomp over files that others are working on. We should show if others are in the workspace so users don't make this mistake.
Fixed in 670d333984a2e294147c1494ddcd63bc0277ad47 and friends.
It's not uncommon to accidentally stomp over files that others are working on. We should show if others are in the workspace so users don't make this mistake.