Hi Laurent, On Tue, Nov 14, 2023 at 10:21:58AM +0100, Helmut Grohne wrote: [..] > In the long term, I recommend Michael's patch.
I've updated Michael's patch and pushed it to salsa: https://salsa.debian.org/selinux-team/libselinux/-/merge_requests/8 Best, Chris