diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-06-26 12:12:16 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-26 12:12:16 +0200 |
commit | cb8d95dd4bc16fa014af7446abf7855255a7bf15 (patch) | |
tree | 759ad36cb3d5afaa60cfc17586f04fe4fa4ff2a0 /modules/mbedtls/stream_peer_mbed_tls.h | |
parent | 773b66dfd3b68ae0c3fbb1fbdd8b326efb8dc3e6 (diff) | |
parent | 05b67514a697b6dfb18b6c3f227aa622b32bb2eb (diff) |
Merge pull request #24288 from ttencate/update_spinner_23738
Make visibility of update spinner editor-wide, hidden by default
Diffstat (limited to 'modules/mbedtls/stream_peer_mbed_tls.h')
0 files changed, 0 insertions, 0 deletions