On Sat, Aug 24, 2024 at 3:37 AM Matthieu Baerts <matttbe@xxxxxxxxxx> wrote: > > Now that the CI runners have been updated to use Ubuntu 24.04 [1], we > can use mptcp.h from the system headers, or do some actions via > IPRoute2. So not having KHDR_INCLUDES is no longer blocking us for the > moment. I think it might still be useful to add it for future use, and > also to use the latest version of the UAPI headers that are not in > 'tools/include/uapi', but I don't want to insist if you prefer not to > use the latest version. Let's not fix what is not broken. We'll add KHDR_INCLUDES when it's actually necessary.
