diff options
| author | Matthieu Sozeau | 2020-04-29 13:59:23 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2020-04-29 13:59:23 +0200 |
| commit | 350865002815ab1e9fd8056b210c5ffcac115bfa (patch) | |
| tree | c81421e629d93a8bb6c5e8768730f560ed540a2a /dev | |
| parent | cdc3614df9b9a37a43b14d69d2129f74634a3652 (diff) | |
| parent | 7a881b39a264a8139aece0b5ece787a36b73104d (diff) | |
Merge PR #12158: [univ] API to demote global universes
Reviewed-by: mattam82
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions