diff options
| author | Niall Douglas (s [underscore] sourceforge {at} nedprod [dot] com) <spamtrap@nedprod.com> | 2017-04-15 14:39:22 +0300 |
|---|---|---|
| committer | Niall Douglas (s [underscore] sourceforge {at} nedprod [dot] com) <spamtrap@nedprod.com> | 2017-04-15 14:39:22 +0300 |
| commit | 1b6b894130c9299c9e338498cb7d609cd5b84a9d (patch) | |
| tree | cafa6c229e2d3450a9a8ef3dfca9a52679b38971 /doc | |
| parent | 98726d1af36841eed1a280badabf4691a2232560 (diff) | |
Hopefully fix occasional SIGBUS on Linux in shared_fs_mutex::memory_map
Diffstat (limited to 'doc')
| m--------- | doc/html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/html b/doc/html -Subproject d91b37b3e891e4186b9cc939b8ee6b9150301cb +Subproject 2b7cb5457a4ece7ad1eca9c25c69b8d5561b8c5 |