« Previous | Next » 

Revision 07a592e6

ID07a592e67f9d8c00eab86372970d134a00ab982c
Parent 8ec1cec5
Child d5214613

Added by Ruben S. Montero about 9 years ago

bug #1237: Move access to uses_name_pool to critical section
(cherry picked from commit 1696bb669ea848fba70209f146783103c0534f7e)

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences