1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00

Merge pull request #12614 from Bill0412/master

core/sched: remove duplicate include of irq.h
This commit is contained in:
benpicco 2019-10-30 20:06:12 +01:00 committed by GitHub
commit 92b46cb335
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -26,7 +26,6 @@
#include "bitarithm.h"
#include "irq.h"
#include "thread.h"
#include "irq.h"
#include "log.h"
#ifdef MODULE_MPU_STACK_GUARD