[tip: sched/urgent] sched/features: Fix !CONFIG_JUMP_LABEL case

2020-10-14 Thread tip-bot2 for Juri Lelli
The following commit has been merged into the sched/urgent branch of tip: Commit-ID: a73f863af4ce9730795eab7097fb2102e6854365 Gitweb: https://git.kernel.org/tip/a73f863af4ce9730795eab7097fb2102e6854365 Author:Juri Lelli AuthorDate:Tue, 13 Oct 2020 07:31:14 +02:00

[tip: sched/urgent] sched/features: Fix !CONFIG_JUMP_LABEL case

2020-10-13 Thread tip-bot2 for Juri Lelli
The following commit has been merged into the sched/urgent branch of tip: Commit-ID: da912c29a4a552588cbfa895487d9d5523b6faa7 Gitweb: https://git.kernel.org/tip/da912c29a4a552588cbfa895487d9d5523b6faa7 Author:Juri Lelli AuthorDate:Tue, 13 Oct 2020 07:31:14 +02:00