Skip to content

[pull] master from GNOME:master#1675

Merged
pull[bot] merged 1 commit intofakegit:masterfrom
GNOME:master
Sep 7, 2022
Merged

[pull] master from GNOME:master#1675
pull[bot] merged 1 commit intofakegit:masterfrom
GNOME:master

Conversation

@pull
Copy link
Copy Markdown

@pull pull bot commented Sep 7, 2022

See Commits and Changes for more details.


Created by pull[bot]

Can you help keep this open source service alive? 💖 Please sponsor : )

Update processing has to be done on the main thread to avoid
problems with GTK thread safety.
@pull pull bot added the ⤵️ pull label Sep 7, 2022
@pull pull bot merged commit 7f257a3 into fakegit:master Sep 7, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant