Bastian Germann Sun, 22 Oct 2023 14:18:12 -0700
Meanwhile, you can drop libgtkglext1-dev, which is not used, and unblock #967491.
