diff options
| author | Vincent Laporte | 2019-04-15 14:40:55 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-04-16 09:50:21 +0000 |
| commit | 0ef18b7cc72d8f0b202e8d61407551a90468ceb8 (patch) | |
| tree | 470390bec752d4e6e7970bfc812923ea0fc7f102 /stm/asyncTaskQueue.ml | |
| parent | d960ff1028cf19f497871d7f0c5f0ae2143a73b3 (diff) | |
[CI/Azure/macOS] Set MACOSX_DEPLOYMENT_TARGET to 10.12
Diffstat (limited to 'stm/asyncTaskQueue.ml')
0 files changed, 0 insertions, 0 deletions
