no-inline.patch

   1 --- gnokii-0.6.31/xgnokii/xgnokii.c~    2011-12-02 15:53:04.000000000 +0100
   2 +++ gnokii-0.6.31/xgnokii/xgnokii.c     2016-10-21 21:51:05.865776829 +0200
   3 @@ -798,7 +798,7 @@
   4  }
   5
   6
   7 -inline void GUI_HideAbout(void)
   8 +static void GUI_HideAbout(void)
   9  {
  10         gtk_widget_hide(AboutDialog);
  11  }
  12 --- gnokii-0.6.31/xgnokii/xgnokii_logos.c~      2011-12-02 15:53:04.000000000 +0100
  13 +++ gnokii-0.6.31/xgnokii/xgnokii_logos.c       2016-10-21 21:51:40.220672065 +0200
  14 @@ -1304,7 +1304,7 @@
  15         return 0;
  16  }
  17
  18 -inline void CloseLogosWindow(void)
  19 +static void CloseLogosWindow(void)
  20  {
  21         gtk_widget_hide(GUI_LogosWindow);
  22  }