diff options
author | 2016-01-21 14:29:45 +0100 | |
---|---|---|
committer | 2016-01-21 14:29:45 +0100 | |
commit | 34340458cbe33976559bf8fd73a9d4b2f747d611 (patch) | |
tree | 60a61d7aa86d78de8a592a2f1fb59a9769f1858a /doc | |
parent | 690bc950f70c61075d396671e63480bbd64bb297 (diff) |
bug #1151: remove useless critical section
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions