Merge branch 'drop-filler-tiles' into 'main'
authorBenjamin Otte <otte.benjamin@googlemail.com>
Sat, 20 May 2023 17:18:53 +0000 (17:18 +0000)
committerBenjamin Otte <otte.benjamin@googlemail.com>
Sat, 20 May 2023 17:18:53 +0000 (17:18 +0000)
Drop the FILLER tile type

See merge request GNOME/gtk!5993


Trivial merge