diff options
| -rw-r--r-- | doc/bugs/concurrent_drop--from_presence_checking_failures.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/bugs/concurrent_drop--from_presence_checking_failures.mdwn b/doc/bugs/concurrent_drop--from_presence_checking_failures.mdwn index 66fe48896..44d73b1df 100644 --- a/doc/bugs/concurrent_drop--from_presence_checking_failures.mdwn +++ b/doc/bugs/concurrent_drop--from_presence_checking_failures.mdwn @@ -260,7 +260,7 @@ S no longer had the copy it expected. But, this is not actually a problem, because the copy moved to R2 and so still exists. So, this is ok! -<pre> +</pre> Case 2: |