diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-31 01:42:08 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-31 01:42:08 -0300 |
| commit | f6c5aac0f725d7408bf21b337fdeaf072cbaa17c (patch) | |
| tree | 085c625c2cc1ce52efef1690a751b3a49b423a53 /lib/kernel/Namespace.mli | |
| parent | 38e60910a40a4b009db87049f11563f55d88b20f (diff) | |
| download | RNT-f6c5aac0f725d7408bf21b337fdeaf072cbaa17c.tar.gz RNT-f6c5aac0f725d7408bf21b337fdeaf072cbaa17c.zip | |
commet explaining why we can safely drain on admission
Diffstat (limited to 'lib/kernel/Namespace.mli')
0 files changed, 0 insertions, 0 deletions