(Moved and expanded from a comment, on a dare.)
My understanding is that both commits should be accepted, the latest one takes precedence, overriding the other. Both are in the revision history. In what is essentially a wiki system this is much better than mysteriously rejecting the arbitrarily invalidated commit. They are both valid and neither should be discarded.
Consider: Abe opens edit, as does Brian. Abe goes to significant effort to fix layout/add citations/references/etc. while Brian spends a lot of effort adding totally new information. They commit at the same time. Should Abe's be rejected or Brian's?
The answer is "neither", though one will be the "latest" by virtue of having hit the db's commit queue last.
We lack the super-duper AI required to automatically merge arbitrary edits, so when one user gets a notification that "this post has been edited, click to load" the instant they hit "submit" and their edit isn't what is shown, it should be obvious that something weird is going on and the answer will be in the revision history. In the same way that manual voting, manual creation of content, and manual involvement in the electoral process are all necessary, this sort of weirdness will have to be manually de-funked as well.
Something to avoid doing is trying to play catch up in user interfaces by passing notifications which, if not adhered to, will lead to a rejected edit (the notices will arrive late, get lost, be off the edge of the screen on a user's phone, or for whatever other reason go unnoticed), especially in a web interface where it is very difficult to implement a document locking system (...if you think asynch edit commit races are bad...). Rejected data is lost data, and that is never the point. As rare as this case is, it would be truly horrible for someone to lose a high-quality, thoughtful edit because someone else thoughtfully corrected a semicolon at the same time.
The last thing we want to do is create an arbitrary rejection criteria that is invisible to the users involved.