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 /index.php | |
| 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 'index.php')
0 files changed, 0 insertions, 0 deletions