On 12/11/2020 19:28, Justin Forbes wrote: > That said, I also do not particularly like copying all of tools > either. I would much rather trim this down to exactly what is needed. > Remember, users with kernel-devel installed are likely to have 3 > copies installed at any given time.
Is the latest https://gitlab.com/cki-project/kernel-ark/-/merge_requests/761/diffs?diff_id=124552144&start_sha=67d0256a60e71bc5ffed63560ec07a584752fec1 better enough for a thumbs up ? Regards, PECastro _______________________________________________ kernel mailing list -- [email protected] To unsubscribe send an email to [email protected] Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/[email protected]
