diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-02-20 10:54:45 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-20 10:54:45 +0100 |
| commit | 3c70a4a83a584da1a8d0248a766b0211a8cc17f9 (patch) | |
| tree | 11a45e8c59b98114cf86bad69cae5018acc20969 /thirdparty | |
| parent | 5db6e371b3e96aff21bf406ee841732243b0c042 (diff) | |
| parent | f6c59cf48d9dc61fe98651707abae782daec1858 (diff) | |
Merge pull request #26080 from qarmin/fix_error_default_environment
Fix error when deleting default environment
Diffstat (limited to 'thirdparty')
0 files changed, 0 insertions, 0 deletions