diff options
author | ArthurHoaro <arthur@hoa.ro> | 2020-12-16 16:01:32 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-16 16:01:32 +0100 |
commit | b1d78519a8dd8b43698f76c61d9967ca542a1660 (patch) | |
tree | 3e43804b25098126c77afe1986b1ddbd9b0aeb94 /doc/md/Plugins.md | |
parent | 3d5f05052f7f2d26d8c26daed8b23aff360efcb2 (diff) | |
parent | 8a6b7e96b7176e03238bbb1bcaa4c8b0c25e6358 (diff) | |
download | Shaarli-b1d78519a8dd8b43698f76c61d9967ca542a1660.tar.gz Shaarli-b1d78519a8dd8b43698f76c61d9967ca542a1660.tar.zst Shaarli-b1d78519a8dd8b43698f76c61d9967ca542a1660.zip |
Merge pull request #1652 from ArthurHoaro/fix/failing-mutex
Fix: soft fail if the mutex is not working
Diffstat (limited to 'doc/md/Plugins.md')
0 files changed, 0 insertions, 0 deletions