a850f7d69509a99ef46dd2790c2e55171db16e7a

 1diff --git a/drivers/ps2/ps2_mouse.c b/drivers/ps2/ps2_mouse.c
 2index 88c9bdcebef0f00e8c847a8861d585c23b425558..ef1a0e26f9e9e9c2761eaa672d4f0d9bfb866063 100644
 3--- a/drivers/ps2/ps2_mouse.c
 4+++ b/drivers/ps2/ps2_mouse.c
 5@@ -88,6 +88,8 @@ void ps2_mouse_task(void) {
 6 #    endif
 7     } else {
 8         if (debug_mouse) print("ps2_mouse: fail to get mouse packet\n");
 9+        /* return here to avoid updating the mouse button state */
10+        return;
11     }
12 #else
13     if (pbuf_has_data()) {
14@@ -99,6 +101,8 @@ void ps2_mouse_task(void) {
15 #    endif
16     } else {
17         if (debug_mouse) print("ps2_mouse: fail to get mouse packet\n");
18+        /* return here to avoid updating the mouse button state */
19+        return;
20     }
21 #endif
22