diff options
| author | Dmitry Kalinkin <dmitry.kalinkin@gmail.com> | 2019-01-16 14:53:57 -0500 |
|---|---|---|
| committer | Dmitry Kalinkin <dmitry.kalinkin@gmail.com> | 2019-01-19 15:04:43 -0500 |
| commit | 15efd5437377aa7054bca753abff5451396bfdca (patch) | |
| tree | ea24baad79f3084251b9808ebc7abb04498b28f8 /.github | |
| parent | 4ae6e849015fb269414c1544e815aba75085cf7b (diff) | |
manual: "sandbox" option default is "true" on Linux
Fixes: 812e39313c ('Enable sandboxing by default')
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions