Skip to content
GitHub Pages

Really fix top of fullscreen window being cut off in GNOME #693

Sign in to view logs

Really fix top of fullscreen window being cut off in GNOME

Really fix top of fullscreen window being cut off in GNOME #693

Run time

Learn about OS pricing on GitHub Actions
Job Run time
doxygen
1m 4s
1m 4s