Merge branch 'mipmap-more' into 'main'
authorMatthias Clasen <mclasen@redhat.com>
Mon, 20 Mar 2023 02:04:21 +0000 (02:04 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Mon, 20 Mar 2023 02:04:21 +0000 (02:04 +0000)
gsk: Use mipmaps when it is beneficial

See merge request GNOME/gtk!5685


Trivial merge