=== modified file 'plugin-helpers/mandos-client-iprouteadddel.c'
--- plugin-helpers/mandos-client-iprouteadddel.c	2021-02-03 08:33:43 +0000
+++ plugin-helpers/mandos-client-iprouteadddel.c	2021-02-03 08:40:41 +0000
@@ -93,7 +93,7 @@
 __attribute__((format (gnu_printf, 2, 3), nonnull))
 int fprintf_plus(FILE *stream, const char *format, ...){
   va_list ap;
-  va_start (ap, format);
+  va_start(ap, format);
   
   fprintf(stream, "Mandos plugin helper %s: ",
 	  program_invocation_short_name);