diff options
author | Mike Kaganski <mike.kaganski@collabora.com> | 2019-04-09 22:23:23 +0100 |
---|---|---|
committer | Mike Kaganski <mike.kaganski@collabora.com> | 2019-04-10 00:50:53 +0200 |
commit | 8e9de1ad055d1d8f41a6cf6d8cea245463f61d40 (patch) | |
tree | 0991fb87670cea71ef4d243574606da6c00fc9a3 /embedserv | |
parent | 36883a9fa5f18ff8f38e2b12e85d8f58d49dd1b5 (diff) |
Fix double-clear of clearable mutex guard
Change-Id: I91f04cae91cbb5510f70baaf8c31ecc59f6402c7
Reviewed-on: https://gerrit.libreoffice.org/70479
Tested-by: Jenkins
Reviewed-by: Mike Kaganski <mike.kaganski@collabora.com>
Diffstat (limited to 'embedserv')
0 files changed, 0 insertions, 0 deletions