commit | ef22c8f122600f25eb2b3bc013b7c9963658bf80 | [log] [tgz] |
---|---|---|
author | Jahdiel Alvarez <jahdiel@google.com> | Wed Nov 01 18:02:35 2023 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Wed Nov 01 18:02:35 2023 +0000 |
tree | b1529839b172df2672cd58f95b84e52419b5ddda | |
parent | b5c02ec925f9d573ad193f0a1066b3a3aece3d03 [diff] | |
parent | d7c42966b95e8540c8166cd8689cca5fe0a53e0c [diff] |
Merge "Verify if pid actually killed for processes with open files" into main