tree 17a2b2ae6303ebbf2d70e8d5955322a25e94415b
parent 71a54fed3f90feb8706c16b7227f1adf4a1e3c4e
author Dani Megert <dmegert> 1126883961 +0000
committer Dani Megert <dmegert> 1126883961 +0000

Fixed bug 104294: [implementation] TextFileBufferManager is not thread safe