diff options
| author | Enrico Tassi | 2015-02-10 08:34:00 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2015-02-16 17:53:06 +0100 |
| commit | ffe7fc6ff44ec94544123c47b3d01bdec05b3fe0 (patch) | |
| tree | d7ec22629888e0632ae0f8139b378d3e86cb8344 /lib/errors.ml | |
| parent | cce1b6f06f9802f4d7c977322cec654ad2582d63 (diff) | |
*Queue: API to wake up all threads
Diffstat (limited to 'lib/errors.ml')
0 files changed, 0 insertions, 0 deletions