diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-11-11 08:24:23 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-11 08:24:23 +0100 |
| commit | 5f4ab5c77ded1c078c8e3543727d576d837942e0 (patch) | |
| tree | 999c539359db03f18d3722dff500f106e831436f /platform | |
| parent | 411af5975235ebb72127b3d213a52153475c013c (diff) | |
| parent | 9fee540e6eb3768f9b31c41c067deff827485512 (diff) | |
Merge pull request #33529 from code-xD/master
fixes #33439. The feature now changes according to the feature profile.
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions