From b3ff4154ec1119feb759504ddef2412d12698865 Mon Sep 17 00:00:00 2001
From: Matthias Clasen <mclasen@redhat.com>
Date: Wed, 8 May 2019 16:58:11 +0000
Subject: [PATCH] Drop the public profiler api

I meant to do this before merging the profiler
support. Somehow the commit got lost.
---
 docs/reference/gdk/gdk4-sections.txt | 3 ---
 gdk/gdk.h                            | 1 -
 2 files changed, 4 deletions(-)

diff --git a/docs/reference/gdk/gdk4-sections.txt b/docs/reference/gdk/gdk4-sections.txt
index d78790e343..8eb27f7c89 100644
--- a/docs/reference/gdk/gdk4-sections.txt
+++ b/docs/reference/gdk/gdk4-sections.txt
@@ -17,9 +17,6 @@ GDK_VERSION_MIN_REQUIRED
 GDK_VERSION_MAX_ALLOWED
 GDK_DISABLE_DEPRECATION_WARNINGS
 
-<SUBSECTION Profiling>
-gdk_profiler_set_mark
-
 <SUBSECTION Standard>
 GDK_TYPE_GRAB_STATUS
 
diff --git a/gdk/gdk.h b/gdk/gdk.h
index d3baac51de..a537ed341f 100644
--- a/gdk/gdk.h
+++ b/gdk/gdk.h
@@ -60,7 +60,6 @@
 #include <gdk/gdkpaintable.h>
 #include <gdk/gdkpango.h>
 #include <gdk/gdkpixbuf.h>
-#include <gdk/gdkprofiler.h>
 #include <gdk/gdkproperty.h>
 #include <gdk/gdkrectangle.h>
 #include <gdk/gdkrgba.h>