diff options
| author | Matthias Brugger <matthias.bgg@gmail.com> | 2020-11-27 12:01:31 +0100 |
|---|---|---|
| committer | Matthias Brugger <matthias.bgg@gmail.com> | 2020-11-27 12:01:31 +0100 |
| commit | 8d7d44f25cd82d0622b90cbb0df430be4bc68b9b (patch) | |
| tree | c070019f8bfed29c115fefd63350fff77d42c677 /lib/mpi/mpi-sub-ui.c | |
| parent | 48489980e27e091c9e871a48157ceda2db855974 (diff) | |
| parent | 343106d9e61260e4ac569c54dd19201b9e704d46 (diff) | |
Merge tag 'v5.10-next-pm-domains-stable' into HEAD
Diffstat (limited to 'lib/mpi/mpi-sub-ui.c')
0 files changed, 0 insertions, 0 deletions