diff options
author | Marco Pesenti Gritti <mpg@redhat.com> | 2007-09-18 18:39:47 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <mpg@redhat.com> | 2007-09-18 18:39:47 (GMT) |
commit | c69795e199018064822872e3796ea7b68c439a5e (patch) | |
tree | 1eeb71a2c59b3777635229f4565b2c5e2f263e06 | |
parent | eb82fe83a37a2d68fde134fe3dd4b8cb28606664 (diff) |
Snapshot eb82fe83a3.
-rw-r--r-- | NEWS | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -1,3 +1,5 @@ +Snapshot eb82fe83a3 + * #3538: Fix a race when deleting objects. (marco) Snapshot ea13f75d6a |