[gtk: 3/14] fixup! Add gdk_profiler_add_markf() to do printf formating

[Matthias Clasen <matthiasc src gnome org>]

commit 685fd3c33de68c9d8b97abfa8426c110c0d136fc
Author: Alexander Larsson <alexl redhat com>
Date:   Wed Feb 12 10:11:53 2020 +0100

    fixup! Add gdk_profiler_add_markf() to do printf formating

 gdk/gdkprofiler.c | 9 +++++++++
 1 file changed, 9 insertions(+)
---
diff --git a/gdk/gdkprofiler.c b/gdk/gdkprofiler.c
index 3554c0104b..d7eeaa1d52 100644
--- a/gdk/gdkprofiler.c
+++ b/gdk/gdkprofiler.c
@@ -226,6 +226,15 @@ gdk_profiler_add_mark (gint64      start,
 {
 }
 
+void
+gdk_profiler_add_markf (gint64      start,
+                        guint64     duration,
+                        const char *name,
+                        const char *format,
+                        ...)
+{
+}
+
 guint
 gdk_profiler_define_counter (const char *name,
                              const char *description)