Board Thread:Improvements and Suggestions/@comment-3539497-20170425050133/@comment-978785-20170826021903

You get an error when that happens, and a diff so you can see what differs between edits, so you can actually manually merge your edits with whoever was faster.