Skip to content
Back to pull request #48

ubuntujammy add option to disable DRI keyboard shortcuts for decor #139

Sign in to view logs

ubuntujammy add option to disable DRI keyboard shortcuts for decor

ubuntujammy add option to disable DRI keyboard shortcuts for decor #139

Triggered via pull request March 11, 2024 21:54
@thelamerthelamer
review_requested #48
Status Success
Total duration 17s
Artifacts –

call_issue_pr_tracker.yml

on: pull_request_target
manage-project  /  manage-project
9s
manage-project / manage-project
Fit to window
Zoom out
Zoom in