diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-08-01 16:49:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-01 16:49:18 +0200 |
| commit | 5ecd61a3150f87a433dd5a7ff49a842b72516640 (patch) | |
| tree | 0e51af872ed6df171860241151c7aacdfd9e4c97 /core/extension | |
| parent | 5aee81fb6fedee3e9b42688e6b852e89952e4555 (diff) | |
| parent | 1b713175b2de9d0aad3554a9add94b5518ee5648 (diff) | |
Merge pull request #54738 from Calinou/expose-os-restart-on-exit
Diffstat (limited to 'core/extension')
0 files changed, 0 insertions, 0 deletions