diff --git a/[refs] b/[refs] index 16efed9018d5..dbbdba1e7c6a 100644 --- a/[refs] +++ b/[refs] @@ -1,2 +1,2 @@ --- -refs/heads/master: 3a0db7215c88077b61a673215756ec4a0dc0c7a5 +refs/heads/master: 98c2b37353cd8839f86f36e9bb9fe39f33fc9626 diff --git a/trunk/drivers/tty/vt/keyboard.c b/trunk/drivers/tty/vt/keyboard.c index 3761ccf0f340..a605549ee28f 100644 --- a/trunk/drivers/tty/vt/keyboard.c +++ b/trunk/drivers/tty/vt/keyboard.c @@ -33,7 +33,6 @@ #include #include #include -#include #include #include @@ -43,6 +42,8 @@ #include #include +#include + extern void ctrl_alt_del(void); /*