Index: kernel/generic/src/udebug/udebug_ipc.c
===================================================================
--- kernel/generic/src/udebug/udebug_ipc.c	(revision 6ff23ff32c8aa9d6ad8d06f1743ca1b0d68c14bc)
+++ kernel/generic/src/udebug/udebug_ipc.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -123,5 +123,4 @@
 }
 
-
 /** Process a GO call.
  *
@@ -303,5 +302,4 @@
 }
 
-
 /** Process an ARGS_READ call.
  *
@@ -387,5 +385,4 @@
 	ipc_answer(&TASK->kb.box, call);
 }
-
 
 /** Process an MEM_READ call.