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