[gtk: 3/3] Merge branch 'master' into 'master'

[Emmanuele Bassi <ebassi src gnome org>]

commit eb2e0137fae5e77f34624a7cb34b6ff7cf5480e2
Merge: 33c6032a10 0969d06925
Author: Emmanuele Bassi <ebassi gmail com>
Date:   Thu Feb 13 19:53:33 2020 +0000

    Merge branch 'master' into 'master'
    
    Fixed OpenGL extension detection for extensions promoted to OpenGL core.
    
    Closes #2428
    
    See merge request GNOME/gtk!1424

 gdk/gdkglcontext.c     | 6 +++---
 gsk/gl/gskglprofiler.c | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)
---